430 search results - page 34 / 86 » Efficient Proving for Practical Distributed Access-Control S... |
105
click to vote
WINE
2010
Springer
15 years 22 days ago
2010
Springer
Trust propagation is a fundamental topic of study in the theory and practice of ranking and recommendation systems on networks. The Page Rank [9] algorithm ranks web pages by propa...
132
click to vote
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
128
click to vote
NETWORKING
2004
15 years 4 months ago
2004
We consider a system with multiple interconnected video servers storing TV programs that are received through satellite antennas. Users, equipped with set-top boxes, submit request...
116
click to vote
EUROCRYPT
2009
Springer
16 years 3 months ago
2009
Springer
We initiate the cryptographic study of order-preserving symmetric encryption (OPE), a primitive suggested in the database community by Agrawal et al. (SIGMOD '04) for allowin...
111
click to vote
TPDS
2010
15 years 1 months ago
2010
—In this paper we propose and evaluate an overlay distribution algorithm for P2P, chunk-based, streaming systems over forest-based topologies. In such systems, the stream is divi...