A specification language for coordinated objects
The paper presents a specification language of autonomous objects supervised by a
coordinating process. The coordination is defined by means of an interaction wrapper. The …
coordinating process. The coordination is defined by means of an interaction wrapper. The …
A proactive approach for coping with uncertain resource availabilities on desktop grids
Uncertainties stemming from multiple sources affect distributed systems and jeopardize their
efficient utilization. Desktop grids are especially concerned by this issue as volunteers …
efficient utilization. Desktop grids are especially concerned by this issue as volunteers …
Specification of coordinated objects and verification of their temporal properties
This paper presents a specification framework for coordinated objects. Coordination is
described by a process. The integration of the concurrent objects and the coordinating …
described by a process. The integration of the concurrent objects and the coordinating …