12015 search results - page 1980 / 2403 » Interactive Algorithms 2005 |
208
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
A peer-to-peer(P2P) system comprises a network of nodes that are capable of sharing and exchanging resources with one another. Recent studies of P2P networks show that many resour...
192
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
Cooperation among autonomous agents involves an inherent degree of uncertainty. Agents determine for themselves when to initiate cooperation or to assist others, when to rescind c...
179
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
Different driving forces push the electricity production towards decentralization. As a result, the current electricity infrastructure is expected to evolve into a network of netw...
201
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
196
Voted
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...