Sciweavers

2712 search results - page 59 / 543
» Multiagent Systems
Sort
View
ATAL
2008
Springer
13 years 12 months ago
eCAT: a tool for automating test cases generation and execution in testing multi-agent systems
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
ATAL
2008
Springer
13 years 12 months ago
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
Paola Spoletini, Mario Verdicchio
CLIMA
2004
13 years 11 months ago
Distributed Algorithms for Dynamic Survivability of Multiagent Systems
Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing methods suffer from two flaws. First, a centralized su...
V. S. Subrahmanian, Sarit Kraus, Yingqian Zhang
ICMAS
2000
13 years 11 months ago
Benevolent Agents in Multiagent Systems
This paper describes an analysis of benevolent agents in multiagent systems (MAS). We first present a definition and motivation for benevolence that is appropriate for MAS. We the...
Abdulla M. Mohamed, Michael N. Huhns
AMAI
2004
Springer
13 years 9 months ago
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...
Paula Gouveia, Jaime Ramos