Verifying a Sliding Window Protocol in µCRL.

Wan J. Fokkink Jan Friso Groote Jun Pang Bahareh Badban Jaco van de Pol

Published in: AMAST (2004)

Keyphrases

sliding window
data streams
window size
fixed size
limited memory
streaming data
continuous queries
space efficient
repeating patterns
variable size
boyer moore
data mining
multiresolution
concept drift