6978 search results - page 52 / 1396 » On Proofs in System P |
NETWORKING
2007
13 years 11 months ago
2007
This paper addresses the study of fundamental properties of stream-based content distribution services. We assume the presence of an overlay network with limited connectivity degre...
JUCS
2008
13 years 9 months ago
2008
: We propose specification of schema mappings and agents' actions in XML data integration task. We discuss the problem in a highly-dynamic environment consisting of a communit...
CIKM
2010
Springer
13 years 8 months ago
2010
Springer
In this demonstration we present the Brown Dwarf, a distributed system designed to efficiently store, query and update multidimensional data. Deployed on any number of commodity ...
GCC
2003
Springer
14 years 2 months ago
2003
Springer
This paper proposes a strategy of improving file availability of peer-to-peer file storage systems, which provides the ability of identifying duplicate files and leveraging the ...
PDPTA
2004
13 years 11 months ago
2004
File-sharing applications remain today the most representative and popular realization of the Peerto-Peer paradigm. Large objects receive an increasing amount of interest in such s...