2468 search results - page 271 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
152
click to vote
ICLP
2001
Springer
15 years 8 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
125
click to vote
ASYNC
2007
IEEE
15 years 8 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
131
click to vote
CIKM
2004
Springer
15 years 9 months ago
2004
Springer
We examine the problem of retrieving the top-m ranked items from a large collection, randomly distributed across an n-node system. In order to retrieve the top m overall, we must ...
116
click to vote
CIA
2003
Springer
15 years 9 months ago
2003
Springer
A multi-agent system is a network of software agents that cooperate to solve problems. In open multi-agent systems, the agents that need resources provided by other agents are not ...
132
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
There is a chronic lack of shared application domains to test the research models and agent architectures on areas like negotiation, argumentation, trust and reputation. In this d...