10575 search results - page 1825 / 2115 » T2Script Programming Language |
164
click to vote
DOOD
1991
Springer
15 years 7 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
145
click to vote
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
We propose a two-pha.se algorithm for physical database design. In phase one the algorithm, for each logical query, losesrules to determine characteristics of a physical design (s...
151
click to vote
DALT
2009
Springer
15 years 7 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
140
click to vote
CBSE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
135
click to vote
AAAI
2007
15 years 6 months ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...