173 search results - page 1 / 35 » Model Checking Communicative Agent-Based Systems |
SOMET
2007
13 years 5 months ago
2007
AINA
2007
IEEE
13 years 8 months ago
2007
IEEE
We propose an agent-based architecture that allows context-aware communication between users. In seeking a model that is suitable for the design of the required functionalities of...
CAINE
2003
13 years 6 months ago
2003
An agent based system is used to model unmanned aerial vehicle missions utilizing various control models. The system uses a multi level approach to modeling a UAV in order to supp...
MDM
2001
Springer
13 years 9 months ago
2001
Springer
We advocate the use of agents to model a system that allows us to integrate and protect information stored in both mobile and fixed devices, while trying to preserve a consistent a...
SAC
2000
ACM
13 years 9 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...