7988 search results - page 1223 / 1598 » A Useful Undecidable Theory |
182
click to vote
SPAA
2005
ACM
16 years 13 days ago
2005
ACM
We study oblivious routing in which the packet paths are constructed independently of each other. We give a simple oblivious routing algorithm for geometric networks in which the ...
181
click to vote
APN
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
169
click to vote
ATAL
2005
Springer
16 years 13 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...
171
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
187
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...