8555 search results - page 1362 / 1711 » Property Based Coordination |
201
Voted
NBIS
2007
Springer
16 years 1 months ago
2007
Springer
Range queries, retrieving all keys within a given range, is an important add-on for Distributed Hash Tables (DHTs), as they rely only on exact key matching lookup. In this paper we...
194
Voted
PAM
2007
Springer
16 years 1 months ago
2007
Springer
Cross-traffic data rate over the tight link of a path can be estimated using different active probing packet dispersion techniques. Many of these techniques send large amounts of p...
191
click to vote
PROVSEC
2007
Springer
16 years 29 days ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
162
Voted
SAS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
147
Voted
TCC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper presents a very simple and efficient adaptivelysound perfect NIZK argument system for any NP-language. In contrast to recently proposed schemes by Groth, Ostro...