Using Compositional Preorders in the Verification of Sliding Window Protocal.

Published in: CAV (1997)

Keyphrases

sliding window
data streams
fixed size
window size
limited memory
stream data
model checking
variable size
continuous queries
space efficient
streaming data
window sizes
skyline queries
data points
database systems
data mining
incremental mining
repeating patterns
data sets