Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory | IEEE Conference Publication | IEEE Xplore