3481 search results - page 504 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
123
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
109
Voted
WSC
2008
15 years 6 months ago
2008
In this paper, an automation concept is proposed to facilitate the simulation model building for port design problem. Currently, this process, which includes drawing the terminal ...
129
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
133
click to vote
AAAI
2004
15 years 5 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
143
click to vote
ENTCS
2010
15 years 4 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...