A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Madeus: A Formal Deployment Model
2018
2018 International Conference on High Performance Computing & Simulation (HPCS)
Preserved Fulltext
In this paper, we formally describe the operational semantics of Madeus, and show how it can be used in a usecase: the deployment of a real and large distributed software (i.e., OpenStack). ...
To address this problem, many solutions have been designed to automate the deployment process. In this paper, we introduce Madeus, a component-based deployment model for complex distributed software. ...
For this reason, this paper introduces Madeus, a formal component-based deployment model for distributed software. ...
doi:10.1109/hpcs.2018.00118
dblp:conf/ieeehpcs/ChardetCPP18
fatcat:bldqvfvk5fbtxdcxnpci7sirna
Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto
2020
2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper tackles the problem of efficient execution of a reconfiguration plan and its predictability with Concerto, a reconfiguration model supporting a high level of parallelism. ...
When quality of service and experience is of prime importance, efficient reconfiguration is necessary, as well as performance predictability to decide when a reconfiguration should occur. ...
Experiments presented in this paper were carried out using the Grid'5000 testbed, supported by a scientific interest group hosted by Inria and including CNRS, RENATER and several universities as well as ...
doi:10.1109/ccgrid49817.2020.00-59
dblp:conf/ccgrid/ChardetCP20
fatcat:fud54ypn75gq5efzfosauvdoym
Conceptual modeling of multimedia databases
2009
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this research work we address the problem of conceptual modeling of multimedia data in a way to deal with the above-mentioned limitations. ...
Obtaining a Ph.D. degree is a challenge, which demands significant personal efforts and implication. ...
Madeus Madeus [VRL00] [JRT01] is an authoring environment for multimedia documents, which incorporates an XML-based multimedia document model integrated with a GUI user interface (see fig. 4.4) . ...
doi:10.5075/epfl-thesis-4344
fatcat:pnubkw4kc5ek3b7aj2use6j5z4
An Agent Based Simulation of Geospatial Aspects of Street Crime in Maputo City
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The solution is a valid androbust model for investigating spatial aspects of crime and for exploring aspects of humaninteraction based on simple agent rules. ...
In this work, a computer simulation is developed to produce empiric data in controlled experiments. This thesis describes the development ofan agent-based crime model. ...
There are formal methods to prove that af ragmento f code is correct. Formalm ethods are mathematical and formal logicp roofs that use axioms and theorems to prove or refute thep roblems tatement. ...
doi:10.34726/hss.2021.91200
fatcat:copwa4yccbbdtobt6cu3xpqqa4
Ideology and Narrative Realism: a Critique of Post-Althusserian Anti-Realism
2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The common form of 'realism' consists of a loose ensemble of conventions. ...
However, this frequently entails undervaluing gains made under a rubric of [...] ...
In terms of 'classic realism', o r t h e techniques of 'narrative illusionism', these devices constitute t h e broadest l i m i t s of the formal r e a i i s t model dominant i n
1 , 1 According t o ...
doi:10.25904/1912/2511
fatcat:aflmvze52vaf5pdvsffrjq67zu
Dynamic cross-model multimedia content composition in Personal Area Networks
2017
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this thesis, we identify these new requirements and present our innovative approach called Dynamic Cross-Model Composition (DCMC). ...
The enhanced authoring process is supported by a flexible and generic service-oriented arc [...] ...
Klas 2001], Madeus [Jourdan et al.]) as scientific contributions. Multimedia presentation formats determine the representation of a multimedia document for exchange and rendering. ...
doi:10.25365/thesis.49036
fatcat:s6pwkwznmzca5ackhpaes7zfma