Modeling and Solution Algorithm of Virtual Machines Optimization Provision Problem for Application Deployment in Public Cloud | IEEE Conference Publication | IEEE Xplore