Sciweavers

11

DC
1998

64views Internet Technology» more DC 1998»

A Modular Algorithm for Resource Allocation

13 years 4 months ago

A Modular Algorithm for Resource Allocation

Download research.csc.ncsu.edu

Injong Rhee

claim paper

Read More »

8

DC
1998

66views Internet Technology» more DC 1998»

A Logical Approach to Multilevel Security of Probabilistic Systems

13 years 4 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 »

12

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

13 years 4 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 »

16

DC
1998

83views Internet Technology» more DC 1998»

Detection of Global Predicates: Techniques and Their Limitations

13 years 4 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 »