This paper presents the principles of a Home Automation System dedicated to power management that adapts power consumption to available power ressources according to user comfort a...
Availability is a storage system property that is both highly desired and yet minimally engineered. While many systems provide mechanisms to improve availability
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...