977 search results - page 113 / 196 » Logic programming with infinite sets |
CADE
2007
Springer
16 years 28 days 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...
159
click to vote
PSSE
2004
Springer
15 years 6 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,...
104
Voted
CCECE
2006
IEEE
15 years 6 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...
101
Voted
IJCAI
2001
15 years 2 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 ...
GPEM
2006
15 years 18 days ago
2006
This paper presents a Genetic Programming (GP) approach to the design of Mathematical Morphology (MM) algorithms for binary images. The algorithms are constructed using logic opera...