6978 search results - page 398 / 1396 » On Proofs in System P |
178
click to vote
IDEAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Peer-to-peer database systems (P2PDBs) aim at providing database services with node autonomy, high availability and loose coupling between participating nodes by building the DBMS...
159
click to vote
PRDC
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper we explore the minimal system requirements to implement unreliable failure detectors. We first consider systems formed by lossy asynchronous and eventually timely l...
192
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
We analyze information leaks in the lookup mechanisms of structured peer-to-peer anonymous communication systems and how these leaks can be used to compromise anonymity. We show t...
193
click to vote
PE
2007
Springer
15 years 6 months ago
2007
Springer
File swarming (or file sharing) is one of the most important applications in P2P networks. In this paper, we propose a stochastic framework to analyze a file swarming system und...
176
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Data replication is a central technique to increase availability and performance of distributed systems. While offering many advantages it also requires more effort for ensuring d...