Mathematical Modelling of Infrastructure as a Service | IEEE Conference Publication | IEEE Xplore