Sciweavers

173 search results - page 1 / 35
» Model Checking Communicative Agent-Based Systems
Sort
View
AINA
2007
IEEE
14 years 2 months ago
An Agent-Based Architecture for Context-Aware Communication
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...
Romelia Plesa, Luigi Logrippo
CAINE
2003
14 years 4 days ago
An Agent Based Framework for Modeling UAV's
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...
Nathan Huff, Ahmed Kamel, Kendall E. Nygard
MDM
2001
Springer
148views Communications» more  MDM 2001»
14 years 3 months ago
An Agent-Based Architecture Using XML for Mobile Federated Database Systems
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...
Carlos Sánchez, Le Gruenwald
SAC
2000
ACM
14 years 3 months ago
A Coordination Language for Collective Agent Based Systems: GroupLog
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...
Fernanda Barbosa, José C. Cunha