-
Glycerol and glycerol carbonate as ultraviscous solvents for mixture analysis...
International audience -
Exploiting Java Code Interactions
Many Java technologies allow the execution of code provided by multiple parties. Service-oriented platforms based on components such as OSGi are good examples of such... -
CHOReOS Integration Plan - 1st version (D5.7.1)
The Integration Plan details the process that will be followed to release the CHOReOS Integrated Development and Runtime Environment (IDRE) software. As a first step,... -
Automated Configuration of Legacy Applications in the Cloud
International audience -
Behavioral composition of components
Evolution of software needs leads to increase the complexity of distributed environment. Research in sotfware engineering aims to decrease this complexity. One of main... -
0.48Tb/s (12x40Gb/s) WDM transmission and high-quality thermo-optic switching...
International audience -
Interfacing Dielectric-Loaded Plasmonic and Silicon Photonic Waveguides: Theo...
International audience -
Aspects Can Be Efficient: Experience with Replication and Protection
Separation of concerns, which aims at separating different aspects involved in complex applications, is a general trend in software programming. It allows a given... -
Formal Models for Programming and Composing Correct Distributed Systems
My research focuses on distributed programming models, more precisely using ob jects and components. In this area, I provided tools easing the programming of... -
Association mapping of quantitative resistance for Leptosphaeria maculans in ...
Stem canker caused by the fungus Leptosphaeria maculans is a major disease of Brassica napus. Quantitative resistance factors appear to be important components for... -
A language to bridge the gap between component-based design and implementation
International audience -
Efficient thermo-optically controlled Mach-Zhender interferometers using diel...
International audience -
Components and Types
Since the mid-1990s, many component models have emerged, such as Fractal developed by France Telecom and INRIA, OSGi developed by IBM, Click by MIT, etc. These models... -
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...
