223 search results - page 3 / 45 » Design time analysis of multiagent protocols |
ECRTS
2003
IEEE
13 years 11 months ago
2003
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...
AAMAS
2007
Springer
13 years 6 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
ICFEM
2010
Springer
13 years 4 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
ESAW
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
IAT
2008
IEEE
14 years 21 days ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...