6608 search results - page 1290 / 1322 » On the Completeness of Model Checking |
124
click to vote
VLDB
1998
ACM
15 years 7 months ago
1998
ACM
Mining for association rules in market basket data has proved a fruitful areaof research. Measures such as conditional probability (confidence) and correlation have been used to i...
133
Voted
ISPAN
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
179
click to vote
MOBICOM
1996
ACM
15 years 7 months ago
1996
ACM
This paper discusses extensions to the Rover toolkit for constructing reliable mobile-aware applications. The extensions improve upon the existing failure model, which only addres...
131
click to vote
ISTCS
1997
Springer
15 years 7 months ago
1997
Springer
We introduce the k-payment problem: given a total budget of N units, the problem is to represent this budget as a set of coins, so that any k exact payments of total value at most ...
147
click to vote
SPDP
1993
IEEE
15 years 7 months ago
1993
IEEE
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...