12015 search results - page 1980 / 2403 » Interactive Algorithms 2005 |
173
Voted
ATAL
2005
Springer
16 years 12 days 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...
168
Voted
ATAL
2005
Springer
16 years 12 days 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...
156
Voted
ATAL
2005
Springer
16 years 12 days 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...
169
Voted
ATAL
2005
Springer
16 years 12 days 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...
169
Voted
ATAL
2005
Springer
16 years 12 days 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...