294 search results - page 54 / 59 » Modal Event Calculus |
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
EEE
2005
IEEE
14 years 1 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
DALT
2004
Springer
14 years 1 months ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...
WMCSA
2002
IEEE
14 years 17 days ago
2002
IEEE
Mobile environments are highly dynamic, characterised by frequent and sudden changes in resource availability. As a consequence, adaptive mobile applications need to be capable of...