813 search results - page 37 / 163 » Correctness Properties for Multiagent Systems |
135
Voted
BIRTHDAY
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
140
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we study the enforcement of social laws in artificial social systems using a control system. We define the enforceable social law problem as an extension of Tennen...
150
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper introduces a multi-agent system (MAS) approach for modelling social behaviours in children’s play. The children, the dynamics of their play, and the playground are mo...
150
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
142
click to vote
EEMMAS
2007
Springer
15 years 10 months ago
2007
Springer
Although there is a huge amount of work and valuable proposals about agent oriented software engineering, it seems that the paradigm has not been fully accepted yet by software ind...