3293 search results - page 549 / 659 » Communicative Autonomous Agents |
185
click to vote
FSR
2003
Springer
15 years 11 months ago
2003
Springer
We develop a network of distributed mobile sensor systems as a solution to the emergency response problem. The mobile sensors are inside a building and they form a connected ad-ho...
145
click to vote
ATAL
2009
Springer
16 years 16 days ago
2009
Springer
Investigations of multi-robot systems often make implicit assumptions concerning the computational capabilities of the robots. Despite the lack of explicit attention to the comput...
180
click to vote
RSP
2007
IEEE
16 years 6 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
143
click to vote
EUC
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we define an algorithm for location-independent communication of mobile software Personal Assistants (PAs). The algorithm extends the Query Server with Caching algor...
165
click to vote
ESORICS
2009
Springer
16 years 6 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...