440 search results - page 55 / 88 » Predicate Abstraction with Indexed Predicates |
161
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We study containment of conjunctive queries that are evaluated over databases that may contain tuples with null values. We assume the semantics of SQL for single block qu...
140
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
128
click to vote
IJCNLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Lexical Conceptual Structure (LCS) represents verbs as semantic structures with a limited number of semantic predicates. This paper attempts to exploit how LCS can be use...
133
click to vote
ESORICS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
123
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...