6978 search results - page 336 / 1396 » On Proofs in System P |
161
click to vote
SIGMETRICS
2005
ACM
16 years 10 days ago
2005
ACM
—To model P2P networks that are commonly faced with high rates of churn and random departure decisions by end-users, this paper investigates the resilience of random graphs to li...
150
click to vote
GCC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Search is until now a difficult problem in peer-to-peer (P2P) filesharing systems. In this paper, we propose to use adaptive metadata spreading to make search in P2P netw...
181
click to vote
FTDCS
2003
IEEE
16 years 2 days ago
2003
IEEE
We propose a new model for on-demand media streaming centered around the peer-to-peer (P2P) paradigm. The proposed P2P model can support a large number of clients with a low overa...
191
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
This paper presents a proof of the rate distortion function of a Poisson process with a queuing distortion measure that is in complete analogy with the proofs associated with the ...
184
click to vote
IEEESCC
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...