136
click to vote
ASIAN
15 years 6 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...
ASIAN
15 years 6 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 ...
100
click to vote
ASIAN
15 years 4 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...
ASIAN
15 years 6 months ago
2003 Springer ASIAN
15 years 6 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