On Formalizing and Identifying Patterns in Cloud Workload Specifications | IEEE Conference Publication | IEEE Xplore