Sciweavers

67

DC
1998

64views Internet Technology» more DC 1998»

A Modular Algorithm for Resource Allocation

14 years 9 months ago

A Modular Algorithm for Resource Allocation

Download research.csc.ncsu.edu

Injong Rhee

claim paper

Read More »

66

Voted

DC
1998

66views Internet Technology» more DC 1998»

A Logical Approach to Multilevel Security of Probabilistic Systems

14 years 9 months ago

A Logical Approach to Multilevel Security of Probabilistic Systems

Download www.cs.cornell.edu

James W. Gray III, Paul F. Syverson

claim paper

Read More »

60

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

14 years 9 months ago

Model Checking for a Probabilistic Branching Time Logic with Fairness

Download www.uni-koblenz.de

Christel Baier, Marta Z. Kwiatkowska

claim paper

Read More »

75

DC
1998

83views Internet Technology» more DC 1998»

Detection of Global Predicates: Techniques and Their Limitations

14 years 9 months ago

Detection of Global Predicates: Techniques and Their Limitations

Download users.ece.utexas.edu

We show that the problem of predicate detection in distributed systems is NP-complete. In the past, efﬁcient algorithms have been developed for special classes of predicates suc...

Craig M. Chase, Vijay K. Garg

claim paper

Read More »