{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T15:00:06Z","timestamp":1773414006896,"version":"3.50.1"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Serv. Comput."],"published-print":{"date-parts":[[2017]]},"DOI":"10.1109\/tsc.2017.2781730","type":"journal-article","created":{"date-parts":[[2017,12,11]],"date-time":"2017-12-11T19:12:36Z","timestamp":1513019556000},"page":"1-1","source":"Crossref","is-referenced-by-count":18,"title":["Evaluating High Availability-aware Deployments Using Stochastic Petri Net Model and Cloud Scoring Selection Tool"],"prefix":"10.1109","author":[{"given":"Manar","family":"Jammal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Kanso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Parisa","family":"Heidari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdallah","family":"Shami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.4108\/valuetools.2012.250263"},{"key":"ref11","article-title":"A software tool for the performability evaluation with stochastic and colored Petri Nets","author":"zimmermann","year":"2007"},{"key":"ref12","article-title":"Undertaking the challenge to reduce the data center carbon footprint","year":"2014"},{"key":"ref13","article-title":"Verizon to auction its data centers report","year":"2016"},{"key":"ref14","article-title":"How data center design impacts efficiency and profitability","year":"2015"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2014.6963800"},{"key":"ref16","article-title":"Facebook boasts green data centre in Lule, Sweden","year":"2015"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.9.1.129-139"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2015.7249413"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2015.70"},{"key":"ref28","article-title":"Energy-related carbon dioxide emissions at the state level, 2000–2013","year":"2015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IC2E.2016.44"},{"key":"ref27","article-title":"Service status","year":"2017"},{"key":"ref3","article-title":"Reliability, availability and serviceability (RAS)","year":"2017"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/asmb.951"},{"key":"ref29","article-title":"Coping with the state explosion problem in formal methods: Advanced abstraction techniques and big data approaches","author":"camilli","year":"2015","journal-title":"Doctor of Philosophy Thesis"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IC2EW.2016.21"},{"key":"ref8","author":"petri","year":"1962","journal-title":"Kommunication mit Automaten"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2012.12.023"},{"key":"ref2","article-title":"Filter scheduler","year":"2010"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393454"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES.2015.44"},{"key":"ref20","author":"grady","year":"2013","journal-title":"System requirements analysis"},{"key":"ref22","article-title":"Web application hosting","year":"2016"},{"key":"ref21","article-title":"An UML profile for dependability analysis and modeling of software systems","author":"bernardi","year":"2008","journal-title":"Tech Rep"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2015.60"},{"key":"ref23","article-title":"Oracle's approach to cloud","year":"2012"},{"key":"ref26","article-title":"AWS global infrastructure","year":"2016"},{"key":"ref25","article-title":"Service availability in cloud computing-threats and best practices","author":"adegoke","year":"2013","journal-title":"Bachelor-Thesis"}],"container-title":["IEEE Transactions on Services Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4629386\/4629387\/08171734.pdf?arnumber=8171734","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:52:51Z","timestamp":1652194371000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8171734\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/tsc.2017.2781730","relation":{},"ISSN":["1939-1374"],"issn-type":[{"value":"1939-1374","type":"print"}],"subject":[],"published":{"date-parts":[[2017]]}}}