A semantic engine for porting applications to the cloud and among clouds.
Selecting linear algebra kernel composition using response time prediction.
LibVM: an architecture for shared library sandboxing.
Applying Gaia and AUML for the development of multiagent-based control software for flexible manufacturing systems: addressing methodological and implementation issues.
Toward the adaptation of component-based architectures by model transformation: behind smart user interfaces.
Exploiting array manipulation habits to optimize garbage collection and type flow analysis.