spatio - temporal data streams .
Naiad: a timely dataflow system