6978 search results - page 320 / 1396 » On Proofs in System P |
253
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
145
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This work* specifically addresses the search issues in unstructured peer-to-peer (P2P) systems that involve the design of an efficient search algorithm, the proposed dynamic searc...
218
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Peer-to-peer (P2P) systems show numerous advantages over centralized systems, such as load balancing, scalability, and fault tolerance, and they require certain function...
139
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Peer-to-peer (P2P) is becoming a key technology for software development, but still lacks integrated solutions to build trust in the final software, in terms of correctness and...
178
click to vote
PE
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we model and study the performance of peer-to-peer (P2P) file sharing systems in terms of their `service capacity'. We identify two regimes of interest: the tra...