440 search results - page 35 / 88 » Predicate Abstraction with Indexed Predicates |
199
Voted
JLP
2008
15 years 5 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
143
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
148
Voted
ICISS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in diffe...
147
click to vote
ADBIS
2000
Springer
15 years 9 months ago
2000
Springer
When dealing with large quantities of clauses, the use of persistent knowledge is inevitable, and indexing methods are essential to answer queries efficiently. We introduce PerKMan...
127
click to vote
VLDB
2001
ACM
15 years 9 months ago
2001
ACM
This paper investigates the problem of incremental joins of multiple ranked data sets when the join condition is a list of arbitrary user-defined predicates on the input tuples. ...