A Branch-and-Bound Algorithm for Autonomic Adaptation of Multi-cloud Applications | IEEE Conference Publication | IEEE Xplore