27756 search results - page 554 / 5552 » Process Query Systems |
281
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
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 ...
186
click to vote
USENIX
2008
15 years 9 months ago
2008
Large-scale scientific and business applications require data processing of ever-increasing amounts of data, fueling a demand for scalable parallel file systems comprising hundred...
184
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
145
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
210
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...