Sciweavers

1480 search results - page 214 / 296
» Mobile Agents for Distributed Processing
Sort
View
CORR
2011
Springer
204views Education» more  CORR 2011»
14 years 2 months ago
Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis
Supply chain formation is the process of determining the structure and terms of exchange relationships to enable a multilevel, multiagent production activity. We present a simple ...
William E. Walsh, Michael P. Wellman
COORDINATION
2005
Springer
15 years 4 months ago
A Correct Abstract Machine for Safe Ambients
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract...
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
ICRA
2003
IEEE
146views Robotics» more  ICRA 2003»
15 years 3 months ago
Putting the 'I' in 'team': an ego-centric approach to cooperative localization
— This paper describes a cooperative method for relative localization of mobile robot teams; that is, it describes a method whereby every robot in the team can estimate the pose ...
Andrew Howard, Maja J. Mataric, Gaurav S. Sukhatme
IAT
2006
IEEE
15 years 4 months ago
Semantic Grid Services for Video Analysis
Employing the power of Semantic Grid services into pervasive problem domains such as video analysis would allow for more effective distributed processing. A vast amount of ecologi...
Gayathri Nadarajan, Yun-Heh Chen-Burger, James Mal...
TASE
2009
IEEE
15 years 5 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin