A Note on Uncertainty Propagation for Availability Model of Mobile Cloud Computing Systems | IEEE Conference Publication | IEEE Xplore