181 search results - page 21 / 37 » Coordination and composition in multi-agent systems |
ECRTS
2007
IEEE
14 years 2 months ago
2007
IEEE
A critical resource in a distributed real-time system is its shared communication medium. Unrestrained concurrent access to the network can lead to collisions that reduce the syst...
MIDDLEWARE
2005
Springer
14 years 1 months ago
2005
Springer
Distributed publish/subscribe systems are naturally suited for processing events in distributed systems. However, support for expressing patterns about disparate events and algorit...
ISSTA
1998
ACM
14 years 5 hour ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
TC
1998
13 years 7 months ago
1998
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
AIME
1995
Springer
13 years 11 months ago
1995
Springer
: A unified controlled medical vocabulary has been cited as one of the grand challenges facing Medical Informatics. We would restate this challenge as ‘achieving a re-usable and ...