173 search results - page 1 / 35 » Model Checking Communicative Agent-Based Systems |
SOMET
2007
14 years 10 months ago
2007
AINA
2007
IEEE
15 years 1 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...
86
Voted
CAINE
2003
14 years 11 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
15 years 1 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
15 years 1 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...