Haoyu Liu, Huahu Xu, Honghao Gao, Minjie Bian, Huaikou Miao. An Novel Approach to Evaluate the Reliability of Cloud Rendering System Using Probabilistic Model Checker PRISM: A Quantitative Computing Perspective. In Tao Gu, Ramamohanarao Kotagiri, Huai Liu, editors, Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Melbourne, Australia, November 7-10, 2017. pages 78-85, ACM, 2017. [doi]
Abstract is missing.