-
Experimental design approach to optimize selective laser melting of martensit...
International audience -
Study of Frequency reconfigurable miniature antennas with active components
Current telecommunication systems and especially mobile terminals require compact antennas with significant bandwidth. But one of the well-known drawbacks of... -
Modeling Synchronous Systems in BIP
A central idea in systems engineering is that complex systems are built by assembling com- ponents. Components have different characteristics, from a large variety of... -
Method extension based on generic components
This thesis is situated in the domain of method engineering and more specifically in situational method engineering. It proposes a construction technique of analysis... -
Logic Functors: A Toolbox of Components for Building Customized and Embeddabl...
Logic Functors form a framework for specifying new logics, and deriving automatically theorem provers and consistency/completeness diagnoses. Atomic functors are... -
Behavioural Models for Hierarchical Components
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the... -
Formalisation and verification of the Chilean electronic invoice system
We present a case study describing the formal specification and verification of the Chilean electronic invoice system, which has been defined by the Chilean taxes... -
Optimal Provisioning in the Cloud. Technical report of the Aeolus project
Complex distributed systems are classically assembled by deploying several existing software components to multiple servers. Building such systems is a challenging... -
Graphical content generation
The goal of this thesis is the search for new techniques for generating digital content for video game applications. The lack of variety of objects and details... -
Extraction and Evolution of Architectural Variability Models in Plugin-based ...
International audience -
Capitalizing safety of applications while being dynamically adapted : the Sat...
Dynamic adaptation technologies (components, aspects,...) arrive at maturity and allow for applications to be modified during their execution.If we consider safety as... -
Final CHOReOS Architectural Style and its Relation with the CHOReOS Developme...
This is Part b of Deliverable D1.4, which specifies the final CHOReOS architectural style, that is, the types of components, connectors, and configurations that are... -
A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution
International audience -
Coordinating multiple administration loops using discrete control
COLUMN: Extended papers from green and cloud middleware workshop -
The role of component-based architectures in the administration of Middleware...
The management of modern IT systems is increasingly costly and complex. Indeed, the architecture of these systems is generally monolithic and does not allow for...
