1536 search results - page 145 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
DSN
2007
IEEE
14 years 4 months ago
2007
IEEE
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
AEI
2002
13 years 10 months ago
2002
Functionality of artifacts as well as structure and behavior plays crucial roles in problem-solving such as design. This article discusses automatic identifications of functional s...
EWHCI
1993
14 years 2 months ago
1993
: A cooperative response model is proposed for interactive intelligent systems that recognizes user intentions and makes cooperative responses. Though many models developed so far ...
COMBINATORICS
2007
13 years 10 months ago
2007
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...
DLOG
2007
14 years 16 days ago
2007
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...