1118 search results - page 120 / 224 » Scalable Planning for Distributed Stream Processing Systems |
115
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
127
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
121
click to vote
SIGMOD
2002
ACM
15 years 2 months ago
2002
ACM
Traditional query processors generate full, accurate query results, either in batch or in pipelined fashion. We argue that this strict model is too rigid for exploratory queries o...
149
click to vote
ICPPW
2009
IEEE
15 years 27 days ago
2009
IEEE
Identifying peptides, which are short polymeric chains of amino acid residues in a protein sequence, is of fundamental importance in systems biology research. The most popular appr...
144
click to vote
PADS
2003
ACM
15 years 8 months ago
2003
ACM
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...