556 search results - page 78 / 112 » Checking Interval Properties of Computations |
124
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
145
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
127
click to vote
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
143
click to vote
KES
2004
Springer
15 years 9 months ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
147
click to vote
C3S2E
2009
ACM
15 years 8 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...