813 search results - page 101 / 163 » Correctness Properties for Multiagent Systems |
135
Voted
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
144
Voted
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
143
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we present a genetic algorithm-based approach towards designing self-assembling objects comprised of square smart blocks. Each edge of each block can have one of thr...
116
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Many important problems in multiagent systems can be seen as resource allocation problems. For such problems, the well-known Vickrey-Clarke-Groves (VCG) mechanism is efficient, in...
122
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Certain observable features (tags), shared by a group of similar agents, can be used to signal intentions and can be effectively used to infer unobservable properties. Such infere...