250
click to vote
ASIAN
16 years 1 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...
187
Voted
ASIAN
16 years 1 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 ...
180
click to vote
ASIAN
15 years 11 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...
156
Voted
ASIAN
16 years 1 months ago
2003 Springer 191
Voted
ASIAN
16 years 1 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