Sciweavers

11561 search results - page 408 / 2313
» Open Distributed Processing
Sort
View
NCA
2008
IEEE
16 years 1 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
GLOBECOM
2007
IEEE
16 years 1 months ago
Distributed Space-Time-Frequency Block Codes for Multiple-Access-Channel with Relaying
—In this paper, we investigate diversity gain in coding for a 2-user multiple-access-channel (MAC) with cooperating transmitters–the MAC with relaying. We propose a simple dist...
Onur Oguz, Abdellatif Zaidi, Jérôme L...
ICRA
2002
IEEE
72views Robotics» more  ICRA 2002»
16 years 14 days ago
Distributed and Dynamic Task Reallocation in Robot Organizations
Task reallocation in a multi-robot organization is a process that distributes a decomposed global task to individual robots. This process must be distributed and dynamic because i...
Wei-Min Shen, Behnam Salemi
ICMAS
1998
15 years 9 months ago
Probabilistic Reasoning in a Distributed Multi-Agent Environment
In this paper, a model is proposed for multi-agent probabilistic reasoning in a distributed environment. Unlike other methods, this model is capable of processing input in a truly...
S. K. Michael Wong, Cory J. Butz
ICMAS
2000
15 years 9 months ago
Distributed Quiescence Detection in Multiagent Negotiation
In a distributed multiagent negotiation involving multiple issues, it is often desirable to finalize dealsonly whenall related issues are resolved. Wepresent a quiescence detectio...
Michael P. Wellman, William E. Walsh