Sciweavers

1519 search results - page 270 / 304
» Authentication for Mobile Agents
Sort
View
GIS
2007
ACM
14 years 11 months ago
Topological maps from signals
We discuss the task of reconstructing the topological map of an environment based on the sequences of locations visited by a mobile agent ? this occurs in systems neuroscience, wh...
Yu. Dabaghian, Anthony G. Cohn, L. Frank
TASE
2009
IEEE
14 years 4 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
ICECCS
2008
IEEE
183views Hardware» more  ICECCS 2008»
14 years 4 months ago
Ambient Intelligence Applications: Introducing the Campus Framework
A challenge for pervasive computing is the seamless integration of computer support with users’ activities in a very dynamic setting, with deep human and resource mobility. Port...
Amal El Fallah-Seghrouchni, Karin Breitman, Nicola...
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
14 years 3 months ago
Anytime Path Planning and Replanning in Dynamic Environments
— We present an efficient, anytime method for path planning in dynamic environments. Current approaches to planning in such domains either assume that the environment is static ...
Jur P. van den Berg, Dave Ferguson, James Kuffner
CIMCA
2005
IEEE
14 years 3 months ago
Wireless Satellite Network Monitoring using Distributed Multiagent Systems
The trend in today’s modern communication satellites is driving into the direction of spot beam technologies. This allows the illumination of distinct areas of the earth surface...
Frank Zimmer, Juan C. Burguillo-Rial