2468 search results - page 295 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
153
click to vote
PVLDB
2010
14 years 11 months ago
2010
Experience with relational systems has shown that distribution is an effective way of improving the scalability of query evaluation. In this paper, we show how distributed query e...
139
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...
128
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Distributed Constraint Satisfaction Problems (DCSPs) provide a model to capture a broad range of cooperative multiagent problem solving settings. Researchers have generally propos...
166
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We present a prototype of agent-based intrusion detection system designed for deployment on high-speed backbone networks. The main contribution of the system is the integration of...
143
click to vote
SAC
1994
ACM
15 years 8 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...