151 search results - page 9 / 31 » On complexity of verification of interacting agents' behavio... |
AUSAI
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. A real-world labor market has complex worksite interactions between a worker and an employer. This paper investigates the behavior patterns of workers and employers with ...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
ESAW
2004
Springer
15 years 2 months ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...
107
click to vote
CEEMAS
2001
Springer
15 years 1 months ago
2001
Springer
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
HT
2004
ACM
15 years 2 months ago
2004
ACM
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...