1394 search results - page 161 / 279 » Executing Nested Queries |
138
Voted
PODS
2005
ACM
16 years 3 months ago
2005
ACM
The challenge of monitoring massive amounts of data generated by communication networks has led to the interest in data stream processing. We study streams of edges in massive com...
125
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
128
Voted
CDB
2004
Springer
15 years 8 months ago
2004
Springer
Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases....
127
click to vote
CIKM
2004
Springer
15 years 8 months ago
2004
Springer
Comparing retrieval approaches requires test collections, which consist of documents, queries and relevance assessments. Obtaining consistent and exhaustive relevance assessments ...
135
click to vote
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...