1486 search results - page 232 / 298 » A Logically Saturated Extension of |
165
click to vote
LISP
2008
15 years 5 months ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
166
click to vote
UTP
2010
15 years 4 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
176
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
185
click to vote
ER
2010
Springer
15 years 3 months ago
2010
Springer
Traditional information search in which queries are posed against a known and rigid schema over a structured database is shifting towards a Web scenario in which exposed schemas ar...
173
click to vote
CISC
2009
Springer
15 years 3 months ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...