Sciweavers

219 search results - page 44 / 44
» Byzantine Quorum Systems
Sort
View
CF
2005
ACM
13 years 11 months ago
Grid result checking
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
Cécile Germain-Renaud, Dephine Monnier-Raga...
ADHOC
2007
144views more  ADHOC 2007»
13 years 10 months ago
Adaptive gossip protocols: Managing security and redundancy in dense ad hoc networks
Abstract. Many ad hoc routing algorithms rely on broadcast flooding for location discovery or, more generally, for secure routing applications. Flooding is a robust algorithm but ...
Mike Burmester, Tri Van Le, Alec Yasinsac
JOC
2007
93views more  JOC 2007»
13 years 9 months ago
Robust Information-Theoretic Private Information Retrieval
A Private Information Retrieval (PIR) protocol allows a user to retrieve a data item of its choice from a database, such that the servers storing the database do not gain informat...
Amos Beimel, Yoav Stahl
EUROMED
2010
13 years 8 months ago
Realization of a Cartographic GIS for the Filing and Management of the Archaelogical Excavations in the Nelson's Island
The island of Nelson is situated around 7-8 miles far from the Egyptian Mediterranean coast, and about 25 km far from Alexandria of Egypt. It has small size, since it doesn't ...
Domenica Costantino, Maria Giuseppa Angelini