{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:02Z","timestamp":1750221302522,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,7]],"date-time":"2017-11-07T00:00:00Z","timestamp":1510012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,11,7]]},"DOI":"10.1145\/3144457.3144460","type":"proceedings-article","created":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T12:22:08Z","timestamp":1534854128000},"page":"78-85","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An Novel Approach to Evaluate the Reliability of Cloud Rendering System Using Probabilistic Model Checker PRISM"],"prefix":"10.1145","author":[{"given":"Haoyu","family":"Liu","sequence":"first","affiliation":[{"name":"School of Computer Engineering and Science, Shanghai University, Shanghai, China and Shanghai Shang Da Hai Run Information System Co. Ltd, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huahu","family":"Xu","sequence":"additional","affiliation":[{"name":"School of Computer Engineering and Science, Shanghai University, Shanghai, China and Shanghai Shang Da Hai Run Information System Co. Ltd, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Honghao","family":"Gao","sequence":"additional","affiliation":[{"name":"School of Computer Engineering and Science, Shanghai University, Shanghai, China and Computing Center, Shanghai University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minjie","family":"Bian","sequence":"additional","affiliation":[{"name":"Shanghai Shang Da Hai Run Information System Co. Ltd, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[{"name":"School of Computer Engineering and Science, Shanghai University, Shanghai, China and Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","article-title":"Multi-Objective Service Composition with QoS Dependencies","volume":"99","author":"Chen Y.","year":"2016","unstructured":"Y. Chen , 2016 . Multi-Objective Service Composition with QoS Dependencies . IEEE Transactions on Cloud Computing PP. 99 , 1 -- 1 . Y. Chen, et al. 2016. Multi-Objective Service Composition with QoS Dependencies. IEEE Transactions on Cloud Computing PP.99, 1--1.","journal-title":"IEEE Transactions on Cloud Computing PP."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-53856-8_24"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2719921"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-015-2481-0"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCNC.2014.6952722"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_29"},{"volume-title":"Computer Aided Verification - International Conference, CAV 2011, Snowbird, Ut, Usa, 14--20. Proceedings DBLP, 585--591","author":"Kwiatkowska M.","key":"e_1_3_2_1_7_1","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems . Computer Aided Verification - International Conference, CAV 2011, Snowbird, Ut, Usa, 14--20. Proceedings DBLP, 585--591 . M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems. Computer Aided Verification - International Conference, CAV 2011, Snowbird, Ut, Usa, 14--20. Proceedings DBLP, 585--591."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.64"},{"key":"e_1_3_2_1_9_1","article-title":"Service Quality in Software-as-a-Service: Developing the SaaS-Qual Measure and Examining Its Role in Usage Continuance","author":"Alexander B.","year":"2011","unstructured":"B. Alexander , K. Marios , and H. Thoma . 2011 . Service Quality in Software-as-a-Service: Developing the SaaS-Qual Measure and Examining Its Role in Usage Continuance . Journal of Management Information Systems, 85--126. B. Alexander, K. Marios, and H. Thoma. 2011. Service Quality in Software-as-a-Service: Developing the SaaS-Qual Measure and Examining Its Role in Usage Continuance. Journal of Management Information Systems, 85--126.","journal-title":"Journal of Management Information Systems, 85--126."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-015-2481-0"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2009.07.002"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2027223.2027250"},{"key":"e_1_3_2_1_14_1","volume-title":"International Conference on Pervasive Computing and Applications IEEE","author":"Liu W.","year":"2011","unstructured":"W. Liu , B. Gong , and Y. Hu . 2011. A large-scale rendering system based on hadoop . International Conference on Pervasive Computing and Applications IEEE , 2011 , 470--475. W. Liu, B. Gong, and Y. Hu. 2011. A large-scale rendering system based on hadoop. International Conference on Pervasive Computing and Applications IEEE, 2011, 470--475."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/DCABES.2012.10"},{"key":"e_1_3_2_1_16_1","volume-title":"Information and Communication Technologies. Ictta '06","author":"Hamlili A.","year":"2006","unstructured":"A. Hamlili . 2006 . Reliability Evaluation and Prediction of Improvable Information and Communication etworks . Information and Communication Technologies. Ictta '06 . IEEE, 3587--3592. A. Hamlili. 2006. Reliability Evaluation and Prediction of Improvable Information and Communication etworks. Information and Communication Technologies. Ictta '06. IEEE, 3587--3592."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1080\/00401706.2014.1001523"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.01.025"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2014.2368895"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.11.079"},{"issue":"8","key":"e_1_3_2_1_21_1","first-page":"1443","article-title":"A fast rendering method for 3d city building point cloud models","volume":"27","author":"Zhu L.","year":"2015","unstructured":"L. Zhu , A. Yue , and C. Zhou . 2015 . A fast rendering method for 3d city building point cloud models . Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao\/Journal of Computer-Aided Design and Computer Graphics , 27 ( 8 ), 1443 -- 1451 . L. Zhu, A. Yue, and C. Zhou. 2015. A fast rendering method for 3d city building point cloud models. Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao\/Journal of Computer-Aided Design and Computer Graphics, 27(8), 1443--1451.","journal-title":"Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao\/Journal of Computer-Aided Design and Computer Graphics"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218539310003792"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.04.048"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2843889"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2016.09.018"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2014.08.013"},{"volume-title":"Continuous-time Markov chains. An Introduction to Mathematical Population Dynamics","author":"Iannelli M.","key":"e_1_3_2_1_27_1","unstructured":"M. Iannelli , A. Pugliese . 2014. Continuous-time Markov chains. An Introduction to Mathematical Population Dynamics . Springer International Publishing , 135--164. M. Iannelli, A. Pugliese. 2014. Continuous-time Markov chains. An Introduction to Mathematical Population Dynamics. Springer International Publishing, 135--164."},{"key":"e_1_3_2_1_28_1","unstructured":"J. P. Katoen. 2013. Model checking meets probability: a gentle introduction. Engineering Dependable Software Systems.  J. P. Katoen. 2013. Model checking meets probability: a gentle introduction. Engineering Dependable Software Systems."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31862-0_21"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220921.3221240"}],"event":{"name":"MobiQuitous 2017: Computing, Networking and Services","sponsor":["EAI The European Alliance for Innovation","SIGMM ACM Special Interest Group on Multimedia"],"location":"Melbourne VIC Australia","acronym":"MobiQuitous 2017"},"container-title":["Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3144457.3144460","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3144457.3144460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:22Z","timestamp":1750212802000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3144457.3144460"}},"subtitle":["A Quantitative Computing Perspective"],"short-title":[],"issued":{"date-parts":[[2017,11,7]]},"references-count":30,"alternative-id":["10.1145\/3144457.3144460","10.1145\/3144457"],"URL":"https:\/\/doi.org\/10.1145\/3144457.3144460","relation":{},"subject":[],"published":{"date-parts":[[2017,11,7]]},"assertion":[{"value":"2017-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}