A Declarative Environment for Automatic Performance Evaluation in IaaS Clouds | IEEE Conference Publication | IEEE Xplore