Sciweavers

ASIAN
2003
Springer
170views Algorithms» more  ASIAN 2003»
15 years 6 months ago
Model Checking Probabilistic Distributed Systems
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...
Benedikt Bollig, Martin Leucker
ASIAN
2003
Springer
127views Algorithms» more  ASIAN 2003»
15 years 6 months ago
A Calculus of Bounded Capacities
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 ...
Franco Barbanera, Michele Bugliesi, Mariangiola De...
ASIAN
2003
Springer
126views Algorithms» more  ASIAN 2003»
15 years 4 months ago
Information Flow Security for XML Transformations
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...
Véronique Benzaken, Marwan Burelle, Giusepp...
ASIAN
2003
Springer
121views Algorithms» more  ASIAN 2003»
15 years 6 months ago
Paradigm Regained: Abstraction Mechanisms for Access Control
Mark S. Miller, Jonathan S. Shapiro
ASIAN
2003
Springer
115views Algorithms» more  ASIAN 2003»
15 years 6 months ago
Bankable Postage for Network Services
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...
Martín Abadi, Andrew Birrell, Michael Burro...
Algorithms
Top of PageReset Settings