Adaptive Provisioning of Stream Processing Systems in the Cloud
load shedding in a data stream manager .