MEAD: Model-Based Vertical Auto-Scaling for Data Stream Processing | IEEE Conference Publication | IEEE Xplore