Filters








6 Hits in 1.7 sec

Madeus: A Formal Deployment Model

Maverick Chardet, Helene Coullon, Dimitri Pertin, Christian Perez
2018 2018 International Conference on High Performance Computing & Simulation (HPCS)  
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

Maverick Chardet, Helene Coullon, Christian Perez
2020 2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID)  
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

Oleksandr Drutskyy
2009
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

Philipp Schnatter, Thomas Grechenig
2021
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

Timothy James Prenzler, University, My
2018
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

Belal Abu-Naim
2017 unpublished
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