3047 search results - page 299 / 610 » A Secure Distributed Search System |
156
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
139
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Distributed multi-agent systems require naming services to locate and communicate with remote agents. In this paper we focus on the design and implementation of the “White Pages...
150
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—While many attacks are distributed across botnets, investigators and network operators have recently targeted malicious networks through high profile autonomous system (AS) de-...
141
click to vote
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...
137
click to vote
ASAP
2004
IEEE
15 years 8 months ago
2004
IEEE
IPSec is a suite of protocols that adds security to communications at the IP level. Protocols within the IPSec suite make extensive use of cryptographic algorithms. Since these al...