97 search results - page 8 / 20 » Coordinated Atomic Actions in Modelling Objects Cooperation |
ICSOC
2009
Springer
14 years 2 months ago
2009
Springer
In this demonstration we introduce Gelee, our online platform for the hosted specification and cooperative execution of lifecycles of artifacts of any kind. With Gelee we aim at fi...
ASM
2000
ASM
13 years 12 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
ICCNMC
2005
Springer
14 years 1 months ago
2005
Springer
Transcoding proxy caching is an important technology for improving the services over Internet, especially in the environment of mobile computing systems. In this paper, we address ...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
A problem of planning for cooperative teams under uncertainty is a crucial one in multiagent systems. Decentralized partially observable Markov decision processes (DECPOMDPs) prov...