1485 search results - page 131 / 297 » Whole Program Paths |
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
AOSD
2007
ACM
14 years 1 months ago
2007
ACM
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...
CG
2006
Springer
14 years 28 days ago
2006
Springer
While recently the strength of chess-playing programs has grown immensely, their capability of explaining in human understandable terms why some moves are good or bad has enjoyed l...
CLIMA
2010
13 years 10 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
BIOCOMP
2006
13 years 10 months ago
2006
A tandem repeat is a sequence of two or more contiguous, approximate copies of a pattern. Tandem repeats occur in the genomes of both eukaryotic and prokaryotic organisms. They ar...