11740 search results - page 91 / 2348 » More Problems in Rewriting |
106
Voted
VLDB
1993
ACM
15 years 4 months ago
1993
ACM
III this paper we address the problem of controlling the execution of a query optimizer. We describe a control for the optimization process that is based on planning. The controll...
153
click to vote
PKDD
2000
Springer
15 years 4 months ago
2000
Springer
Data mining is a useful decision support technique, which can be used to find trends and regularities in warehouses of corporate data. A serious problem of its practical applicatio...
92
Voted
FORTE
1996
15 years 2 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
112
Voted
ENTCS
2008
15 years 23 days ago
2008
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...
104
Voted
IJISEC
2008
15 years 21 days ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...