6978 search results - page 53 / 1396 » On Proofs in System P |
ICPP
2007
IEEE
14 years 4 months ago
2007
IEEE
A self-organizing peer-to-peer system is built upon an application level overlay, whose topology is independent of underlying physical network. A well-routed message path in such ...
HIPC
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents our work in combining peer-to-peer dynamic tree management with hierarchical Operational Transformation (OT) over document trees to achieve low computational an...
TON
2008
13 years 9 months ago
2008
Abstract--We address the problem of highly transient populations in unstructured and loosely-structured peer-to-peer systems. We propose a number of illustrative query-related stra...
ICDE
2006
IEEE
14 years 11 months ago
2006
IEEE
In this demonstration we present MAPLE, a scalable peer-to-peer Nearest Neighbor (NN) query system for mobile environments. MAPLE is designed for the efficient sharing of query re...
SIGECOM
2004
ACM
14 years 3 months ago
2004
ACM
The increasing popularity of resource exchange through peerto-peer networks has encouraged the development of ways to support more complex commercial transactions over these netwo...