Sciweavers

2495 search results - page 361 / 499
» Agents and interactions
Sort
View
IAT
2007
IEEE
14 years 3 months ago
Convergence of Peer-to-Peer Collision Avoidance among Unmanned Aerial Vehicles
In this article we study the theoretical aspects of the collision avoidance among the collectives of unmanned aerial vehicles (UAVs) engaged in the free flight operation. The fre...
Premysl Volf, David Sislák, Michal Pechouce...
ICSOC
2007
Springer
14 years 3 months ago
Verifying Temporal and Epistemic Properties of Web Service Compositions
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Mo...
IAT
2006
IEEE
14 years 3 months ago
A Call Handling Assistant for Mobile Devices
With the near ubiquity of mobile phones, people are reachable almost anywhere and at any time. The convenience this provides for people to more effectively combine different aspec...
Wayne Wobcke, Rita Chan, Andrew Limaru
ROBOCUP
2005
Springer
98views Robotics» more  ROBOCUP 2005»
14 years 2 months ago
Integrating Collaboration and Activity-Oriented Planning for Coalition Operations Support
The use of planning assistant agents is an appropriate option to provide support for members of a coalition. Planning agents can extend the human abilities and be customised to att...
Clauirton de Siebra, Austin Tate
EUROPAR
2003
Springer
14 years 2 months ago
Programming Coordinated Motion Patterns with the TOTA Middleware
In this paper, we present TOTA (“Tuples On The Air”), a novel middleware to coordinate the movements of a large number of autonomous components (i.e. agents) in a ubiquitous co...
Marco Mamei, Franco Zambonelli, Letizia Leonardi