813 search results - page 103 / 163 » Correctness Properties for Multiagent Systems |
141
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
The "ZIP" adaptive trading algorithm has been demonstrated to outperform human traders in experimental studies of continuous double auction (CDA) markets. The original Z...
132
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Distributed constraint optimization (DCOP) provides a framework for coordinated decision making by a team of agents. Often, during the decision making, capacity constraints on age...
121
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Tags or observable features shared by a group of similar agents are effectively used in real and artificial societies to signal intentions and can be used to infer unobservable ...
121
Voted
ENTCS
2006
15 years 3 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
132
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...