An Incremental Specification of the Sliding-Window Protocol.

Karen Paliwoda Jeff W. Sanders

Published in: Distributed Comput. (1991)

Keyphrases

sliding window
protocol specification
data streams
fixed size
window size
variable size
space efficient
streaming data
colored petri nets
data sets
formal specification
continuous queries
stream data
limited memory
window sizes
preprocessing
database systems
database
incremental clustering
formal verification