Applying Event-B Refinement to the Sliding Window Protocol.

Sanae El Mimouni Mohamed Bouhdadi

Published in: CSE (2015)

Keyphrases

sliding window
data streams
fixed size
streaming data
window size
stream data
limited memory
space efficient
event detection
continuous queries
variable size
data sets
data structure
high dimensional