Cloud computing reference model: The modelling of service availability based on application profile and resource allocation | IEEE Conference Publication | IEEE Xplore