An approach to reduce carbon dioxide emissions through virtual machine migrations in a sustainable cloud federation | IEEE Conference Publication | IEEE Xplore