2084 search results - page 219 / 417 » Set Constraints in Logic Programming |
117
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
201
click to vote
PSSE
2004
Springer
15 years 10 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
174
click to vote
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
135
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
The purpose of this paper is to use the aspect-oriented programming (AOP) paradigm for security testing. AOP allows security experts to develop and inject separate modules for con...
143
click to vote
IJCAI
2001
15 years 5 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...