An Novel Approach to Evaluate the Reliability of Cloud Rendering System Using Probabilistic Model Checker PRISM: A Quantitative Computing Perspective.

Haoyu Liu, Huahu Xu, Honghao Gao, Minjie Bian, Huaikou Miao

Browse the full Mobiquitous paper archive.