4052 search results - page 301 / 811 » integration 2007 |
298
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
237
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents two extensions for XQuery. The first extension allows the definition and processing of different kinds of windows over an input sequence; i.e., tumbling, slidi...
276
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
This paper proposes a demo of the TopX search engine, an extensive framework for unified indexing, querying, and ranking of large collections of unstructured, semistructured, and ...
249
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Mashup Feeds is a system that supports integrated web service feeds as continuous queries. We introduce collectionbased stream processing semantics to enable information extractio...
243
Voted
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
The real usability of data stream systems depends on the practical aspect of building applications on data streams. In this demo we show two possible applications on data streams,...