725 search results - page 11 / 145 » Layered Specification of Intelligent Agents |
IAT
2007
IEEE
15 years 1 months ago
2007
IEEE
Multiagent systems (MAS) satisfy to design requirements for open physical complex systems. However, up to now, no method allows to build software/hardware hybrid multiagent system...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
AAMAS
1999
Springer
14 years 9 months ago
1999
Springer
Achieving effective cooperation in a multi-agent system is a difficult problem for a number of reasons such as limited and possiblyout-datedviews of activitiesof other agents and ...
AOSE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
IAT
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...