502 search results - page 9 / 101 » Development and Application of a Formal Agent Framework |
129
click to vote
CCECE
2006
IEEE
15 years 5 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
AICOM
2002
14 years 11 months ago
2002
In the last years, dozens of environments for modeling, testing and finally implementing multi-agent systems have been developed. Unfortunately, no standard criteria for understand...
AAAI
2008
15 years 1 months ago
2008
The Swarm Application Framework (SAF) is a tool that makes the development of swarm applications more intuitive. Traditionally, swarm applications are created by programming sever...
ENTCS
2008
14 years 10 months ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
147
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents SAgent, a general-purpose mobile agent security framework that is designed to protect the computations of mobile agent applications in potentially hostile envi...