615 search results - page 69 / 123 » A General, Abstract Model of Incremental Dialogue Processing |
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
Many advanced data management operations (e.g., incremental maintenance, trust assessment, debugging schema mappings, keyword search over databases, or query answering in probabil...
124
click to vote
ESE
2011
13 years 9 months ago
2011
Abstract— This article analyzes experiment results regarding subjective perception issues. Software quality models, since the first publications on this subject, propose a prescr...
101
click to vote
CISSE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract-- This article analyzes experiment results regarding subjective perception of a web application. Software quality models, since the first publications on this subject, pro...
ICLP
1992
Springer
15 years 1 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...