Complex event processing with T-REX
load shedding in a data stream manager .