167
click to vote
ASIAN
15 years 9 months ago
2003 Springer 
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
122
click to vote
ASIAN
15 years 9 months ago
2003 Springer 
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space ...
120
click to vote
ASIAN
15 years 8 months ago
2003 Springer 
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...
114
click to vote
ASIAN
15 years 9 months ago
2003 Springer 
We describe a new network service, the “ticket server”. This service provides “tickets” that a client can attach to a request for a network service (such as sending email o...
|
Algorithms