4488 search results - page 264 / 898 » Properties of NP-Complete Sets |
174
click to vote
PODC
2003
ACM
16 years 23 hour ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
185
Voted
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Intelligent agents have to be able to merge inputs received from different sources in a coherent and rational way. Recently, several proposals have been made for the merg...
152
click to vote
ICDCSW
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
187
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
155
click to vote
ISCA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper investigates the placement of data and parity on redundant disk arrays. Declustered organizations have been traditionally used to achieve fast reconstruction of a faile...