Sciweavers

4476 search results - page 15 / 896
» A flexible framework for engineering
Sort
View
73
Voted
EWSPT
2003
Springer
15 years 2 months ago
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner
SIGMOD
2008
ACM
116views Database» more  SIGMOD 2008»
15 years 9 months ago
SPADE: the system s declarative stream processing engine
In this paper, we present Spade - the System S declarative stream processing engine. System S is a large-scale, distributed data stream processing middleware under development at ...
Bugra Gedik, Henrique Andrade, Kun-Lung Wu, Philip...