3006 search results - page 314 / 602 » Overview |
137
click to vote
AAMAS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
146
click to vote
ALIFE
2006
15 years 4 months ago
2006
Auditory displays have been successfully developed to assist data visualization in many areas, but have as yet received little attention in the field of Artificial Life. This pape...
108
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper describes the basic concepts of error diagnostics and an associated rule system whose application helps to identify potential hardware/software locations of errors whic...
134
click to vote
APIN
2006
15 years 4 months ago
2006
The Multi-Agent Distributed Goal Satisfaction (MADGS) system facilitates distributed mission planning and execution in complex dynamic environments with a focus on distributed goal...
140
click to vote
FAC
2008
15 years 4 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...