A Framework for Modeling Cloud Infrastructures and User Interactions | IEEE Journals & Magazine | IEEE Xplore