An ontology-based system for Cloud infrastructure services' discovery | IEEE Conference Publication | IEEE Xplore