4438 search results - page 197 / 888 » Speculative Query Processing |
178
click to vote
FORTE
2001
15 years 8 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
194
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We present a decomposition-based approach to managing probabilistic information. We introduce world-set decompositions (WSDs), a space-efficient and complete representation system ...
212
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
There is growing interest in algorithms for processing and querying continuous data streams (i.e., data that is seen only once in a fixed order) with limited memory resources. In ...
297
Voted
VLDB
1998
ACM
15 years 6 months ago
1998
ACM
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...
296
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
We demonstrate XRPC, a minimal XQuery extension that enables distributed querying between heterogeneous XQuery engines. The XRPC language extension enhances the existing concept o...