Sciweavers

1134 search results - page 182 / 227
» Distributed Proving in Access-Control Systems
Sort
View
SRDS
2003
IEEE
15 years 5 months ago
Group Communication Protocols under Errors
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
Claudio Basile, Long Wang, Zbigniew Kalbarczyk, Ra...
ISAAC
2003
Springer
101views Algorithms» more  ISAAC 2003»
15 years 5 months ago
Rapid Mixing of Several Markov Chains for a Hard-Core Model
The mixing properties of several Markov chains to sample from configurations of a hard-core model have been examined. The model is familiar in the statistical physics of the liqui...
Ravi Kannan, Michael W. Mahoney, Ravi Montenegro
SRDS
1999
IEEE
15 years 4 months ago
On Diffusing Updates in a Byzantine Environment
We study how to efficiently diffuse updates to a large distributed system of data replicas, some of which may exhibit arbitrary (Byzantine) failures. We assume that strictly fewer...
Dahlia Malkhi, Yishay Mansour, Michael K. Reiter
APWEB
2006
Springer
15 years 3 months ago
A Statistical Study of Today's Gnutella
Abstract. As a developing P2P system, Gnutella has upgraded its protocol to 0.6, which significantly changed the characteristics of its hosts. However, few previous work has given ...
Shicong Meng, Cong Shi, Dingyi Han, Xing Zhu, Yong...
EXACT
2007
15 years 2 months ago
PML 2: A Modular Explanation Interlingua
In the past five years, we have designed and evolved an interlingua for sharing explanations generated by various automated systems such as hybrid web-based question answering sys...
Deborah L. McGuinness, Li Ding, Paulo Pinheiro da ...