ICE: Managing cold state for big data applications
Semantics of data streams and operators