1134 search results - page 123 / 227 » Distributed Proving in Access-Control Systems |
124
click to vote
WDAG
2007
Springer
15 years 9 months ago
2007
Springer
The timestamp problem captures a fundamental aspect of asynchronous distributed computing. It allows processes to label events throughout the system with timestamps that provide in...
118
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Session guarantees are used to manage replica consistency of a distributed system from the client perspective. This paper defines formally the guarantees, presents and proves safe...
111
Voted
MOR
2010
15 years 1 months ago
2010
We study G/G/n + GI queues in which customer patience times are independent, identically distributed following a general distribution. When a customer’s waiting time in queue ex...
128
click to vote
SPAA
2005
ACM
15 years 9 months ago
2005
ACM
We prove that with high probability a skip graph contains a 4-regular expander as a subgraph, and estimate the quality of the expansion via simulations. As a consequence skip grap...
111
Voted
IASTEDSE
2004
15 years 4 months ago
2004
The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in dis...