Login / Signup

Proving the Safety of a Sliding Window Protocol with Event-B.

Sophie Coudert
Published in: ABZ (2021)
Keyphrases
  • sliding window
  • data streams
  • fixed size
  • event detection
  • window size
  • streaming data
  • space efficient
  • limited memory
  • continuous queries
  • stream data
  • variable size
  • boyer moore
  • stream processing
  • fixed width
  • database