307 search results - page 14 / 62 » Formalizing Communication Protocols for Multiagent Systems |
88
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
131
click to vote
CRV
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...
155
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
143
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
114
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
In a large distributed system it is often infeasible or even impossible to perform diagnosis using a single model of the whole system. Instead, several spatially distributed local...