Availability and Reliability Modeling of Mobile Cloud Architectures | IEEE Journals & Magazine | IEEE Xplore