Sciweavers

1214 search results - page 203 / 243
» Network Processing of Mobile Agents, by Mobile Agents, for M...
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 26 days ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
SC
2005
ACM
14 years 1 months ago
An Adaptive Visual Analytics Platform for Mobile Devices
We present the design and implementation of InfoStar, an adaptive visual analytics platform for mobile devices such as PDAs, laptops, Tablet PCs and mobile phones. InfoStar extends...
Antonio Sanfilippo, Richard May, Gary Danielson, B...
ATAL
2003
Springer
14 years 27 days ago
Representation and reasoning for DAML-based policy and domain services in KAoS and nomads
To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong...
Jeffrey M. Bradshaw, Andrzej Uszok, Renia Jeffers,...
ICRA
1999
IEEE
183views Robotics» more  ICRA 1999»
13 years 12 months ago
Spontaneous, Short-Term Interaction with Mobile Robots
Human-robot interaction has been identified as one of the major open research directions in mobile robotics. This paper considers a specific type of interaction: short-term and sp...
Jamieson Schulte, Charles R. Rosenberg, Sebastian ...
ATAL
2009
Springer
14 years 9 days ago
To flock or not to flock: the pros and cons of flocking in long-range "migration" of mobile robot swarms
This study investigates the pros and cons of flocking in longrange “migration” of mobile robot swarms under the influence of different factors. We present a flocking behav...
Fatih Gökçe, Erol Sahin