4595 search results - page 576 / 919 » Reasoning about Plans |
104
Voted
CHI
1994
ACM
15 years 5 months ago
1994
ACM
My doctoral research focuses on the usability and usage of new computer technology such as interactive systems that support the combination different input media such as voice, ge...
140
click to vote
CONCUR
1994
Springer
15 years 5 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
135
click to vote
ISKI
1994
15 years 4 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
97
Voted
SAS
1993
Springer
15 years 4 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
92
Voted
SIGSOFT
1994
ACM
15 years 4 months ago
1994
ACM
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...