140 search results - page 4 / 28 » An Automated Approach to Verifying Diagnosability in Multi-a... |
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
110
click to vote
DALT
2004
Springer
15 years 3 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
98
Voted
DALT
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
ICDIM
2008
IEEE
15 years 6 months ago
2008
IEEE
One of the key stages of the development of a fault tolerant Service oriented Architecture is the creation of Diagnosers, which monitors the system’s behaviour to identify the o...
FLAIRS
2004
15 years 1 months ago
2004
The integration of methods of Constraint Programming and Multi-Agent-Systems is discussed in this paper. We describe different agent topologies for Constraint Satisfaction Problem...