2364 search results - page 332 / 473 » An Engine for Computing Well-Founded Models |
109
click to vote
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
144
click to vote
AVI
2008
15 years 6 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...
149
click to vote
AVI
2008
15 years 6 months ago
2008
Many critical decisions for individuals and organizations are often framed as preferential choices: the process of selecting the best option out of a set of alternatives. This pap...
154
click to vote
AUTONOMICS
2008
ACM
15 years 6 months ago
2008
ACM
Autonomic Management capabilities become increasingly important for attaining functional and quality goals in software systems. Nonetheless, successful Autonomic Management soluti...
140
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...