Abstract—The Special PRiority and Urgent Computing Environment (SPRUCE) provides on-demand access to highperformance computing resources for time-critical applications. While SPR...
This paper presents an educational distributed virtual reality-based environment for children called EVE - Environnement Virtuel pour Enfants. EVE is used in elementary schools fr...
The grid environment presents numerous opportunities for business applications as well as for scientific ones. Nevertheless the current trends seem to lead to several independent ...
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...