653 search results - page 102 / 131 » Implications of a Data Structure Consistency Checking System |
120
click to vote
IEAAIE
1994
Springer
15 years 3 months ago
1994
Springer
Two recent projects at ORA have used a blackboard framework during system design.1 DANA is a multimedia network monitoring system, while MARRS is a real-time passive radar system....
111
click to vote
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
SIGIR
2003
ACM
15 years 5 months ago
2003
ACM
This paper investigates the pre-conditions for successful combination of document representations formed from structural markup for the task of known-item search. As this task is ...
104
click to vote
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
116
Voted
ICDT
2012
ACM
13 years 2 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...