A Declarative Optimization Engine for Resource Provisioning of Scientific Workflows in Geo-Distributed Clouds | IEEE Journals & Magazine | IEEE Xplore