8 search results - page 1 / 2 » Multi-User and Security Support for Multi-Agent Systems |
WOA
2001
13 years 6 months ago
2001
This paper discusses the requirements an agent system needs to be secure. In particular, the paper introduces a classification of modern distributed systems, and examines the dele...
AGENTS
2000
Springer
13 years 9 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
CAV
2009
Springer
13 years 8 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
ATAL
2004
Springer
13 years 10 months ago
2004
Springer
Distributed multi-agent systems require naming services to locate and communicate with remote agents. In this paper we focus on the design and implementation of the “White Pages...
USENIX
2003
13 years 6 months ago
2003
Recent efforts aimed at improving the scalability of the JavaTM platform have focused primarily on the safe collocation of multiple applications in the virtual machine. This is of...