7839 search results - page 1402 / 1568 » What's there and what's not |
102
click to vote
CAV
1999
Springer
15 years 5 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
111
click to vote
CONTEXT
1999
Springer
15 years 5 months ago
1999
Springer
We survey some issues that relate to context dependence and context sensitivity in the development of software, particularly in relation to information systems by defining a range...
101
click to vote
CONTEXT
1999
Springer
15 years 5 months ago
1999
Springer
When modelling complex systems one can not include all the causal factors, but one has to settle for partial models. This is alright if the factors left out are either so constant...
103
click to vote
DBPL
1999
Springer
15 years 5 months ago
1999
Springer
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
DEXA
1999
Springer
15 years 5 months ago
1999
Springer
: In an extensible database system, evaluation of a query plan is done in cooperation between a collection of operator implementation functions and a component of the DBMS that we ...