5180 search results - page 884 / 1036 » Concurrency, Time, and Constraints |
195
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
Query containment is the most fundamental relationship between a pair of database queries: a query Q is said to be contained in a query Q if the answer for Q is always a subset of...
145
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
193
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...
150
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
In today’s deep-submicron designs, the interconnect delays contribute an increasing part to the overall performance of an implementation. Particularly when targeting field prog...
159
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...