653 search results - page 102 / 131 » Implications of a Data Structure Consistency Checking System |
179
click to vote
IEAAIE
1994
Springer
15 years 10 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....
187
click to vote
EMSOFT
2001
Springer
15 years 10 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...
139
click to vote
SIGIR
2003
ACM
15 years 11 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 ...
165
click to vote
ESOP
2009
Springer
16 years 22 days 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...
197
click to vote
ICDT
2012
ACM
13 years 8 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...