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 5 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 8 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
151
Voted
ICMAS
2000
15 years 8 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