6978 search results - page 50 / 1396 » On Proofs in System P |
COCO
1991
Springer
14 years 1 months ago
1991
Springer
Abstract. In this paper, we generalize the previous formal de nitions of random-self-reducibility. We show that, even under our very general de nition, sets that are complete for a...
ICEIS
2006
IEEE
14 years 3 months ago
2006
IEEE
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
Most of current peer-to-peer designs build their own system overlays independent of the physical one. Nodes within unstructured systems form a random overlay, on the contrary, str...
EUROPAR
2007
Springer
14 years 3 months ago
2007
Springer
In this work we study preference systems suitable for the Peer-to-Peer paradigm. Most of them fall in one of the three following categories: global, symmetric and complementary. Al...
SIGECOM
2006
ACM
14 years 3 months ago
2006
ACM
Structured peer-to-peer systems allow to administer large volumes of data. Several peers collaborate to generate a query result. Analyses of unstructured peer-to-peer systems, nam...