An optimization model of setting up images for server provisioning in cloud service | IEEE Conference Publication | IEEE Xplore