Virtual machine migration in cloud infrastructures: Problem formalization and policies proposal | IEEE Conference Publication | IEEE Xplore