1063 search results - page 16 / 213 » Order and Negation as Failure |
DM
1999
13 years 9 months ago
1999
Abstract. Given a partially ordered set P = (X; P ), a function F which assigns to each x 2 X a set F (x) so that x y in P if and only if F (x) F (y) is called an inclusion represe...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
A key factor that can dramatically reduce the search space during constraint solving is the criterion under which the variable to be instantiated next is selected. For this purpos...
EDCC
1999
Springer
14 years 2 months ago
1999
Springer
The paper focuses on the problem to guarantee reliable and ordered message delivery to the operational sites of a CAN-Bus network. The contributions of the paper are firstly a hard...
FTCS
1993
13 years 11 months ago
1993
Failure detectors (or, more accurately Failure Suspectors { FS) appear to be a fundamental service upon which to build fault-tolerant, distributed applications. This paper shows t...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
This paper proposes automated support for classifying reported software failures in order to facilitate prioritizing them and diagnosing their causes. A classification strategy is...