To Migrate or Not to Migrate: An Analysis of Operator Migration in Distributed Stream Processing | IEEE Journals & Magazine | IEEE Xplore