Karamel: A System for Timely Provisioning Large-Scale Software across IaaS Clouds | IEEE Conference Publication | IEEE Xplore