248
click to vote
ATAL
16 years 26 days ago
2004 Springer 
We will demonstrate the Secure Wireless Agent Testbed (SWAT), a unique facility developed at Drexel University to study integration, networking and information assurance for next-...
240
Voted
ATAL
16 years 26 days ago
2004 Springer
Abstract. In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ abilit...
238
click to vote
ATAL
15 years 11 months ago
2004 Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
234
click to vote
ATAL
16 years 26 days ago
2004 Springer 
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
229
click to vote
ATAL
16 years 26 days ago
2004 Springer 
In this paper we will examine two main aspects of trust dynamics: a) How direct experiences involving trust, with their successes or failures, influence the future trust of an age...
|
Intelligent Agents