-
Specification and Verification of a Dynamic Reconfiguration Protocol for Agen...
Dynamic reconfiguration increases the availability of distributed applications by allowing them to evolve at run-time. This paper deals with the formal specification... -
Managing Large Scale Experiments in Distributed Testbeds
Performing experiments that involve a large amount of resources or a complex configuration, proves to be a hard task. We present Expo, which is a tool for conducting... -
A resource borrowing schema for behavior adaptation of distributed applications
Generally, Operating Systems control and execute applications based on a best effort policy. As long as resources are sufficient, applications are normally executed... -
Managing Large Scale Experiments in Distributed Testbeds
International audience -
Cooperation Services for Widely Distributed Applications
Colloque avec actes et comité de lecture.
