{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T17:07:17Z","timestamp":1770484037937,"version":"3.49.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/ccgrid.2015.91","type":"proceedings-article","created":{"date-parts":[[2015,7,17]],"date-time":"2015-07-17T20:17:36Z","timestamp":1437164256000},"page":"31-40","source":"Crossref","is-referenced-by-count":43,"title":["Dependable Horizontal Scaling Based on Probabilistic Model Checking"],"prefix":"10.1109","author":[{"given":"Athanasios","family":"Naskos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanouela","family":"Stachtiari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anastasios","family":"Gounaris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panagiotis","family":"Katsaros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitrios","family":"Tsoumakos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Konstantinou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spyros","family":"Sioutas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"ref11","article-title":"Cloud elasticity using probabilistic model checking","volume":"abs 1405 4699","author":"naskos","year":"2014","journal-title":"CoRR"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.14778\/2732977.2732995"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2010.55"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","author":"puterman","year":"1994","journal-title":"Markov Decision Processes Discrete Stochastic Dynamic Programming"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2013.28"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2013.43"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2004.04.001"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2012.65"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IC2E.2014.25"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2038916.2038921"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2382553.2382556"},{"key":"ref6","first-page":"163","article-title":"The SCADS director: Scaling a distributed storage system under stringent performance requirements","author":"trushkowsky","year":"2011","journal-title":"FAST"},{"key":"ref5","first-page":"9","article-title":"Press: Predictive elastic resource scaling for cloud systems","author":"gong","year":"2010","journal-title":"CNSM"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2330667.2330686"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2013.45"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-3-642-21455-4_3","article-title":"Automated verification techniques for probabilistic systems","author":"forejt","year":"2011","journal-title":"Formal Methods for Eternal Networked Software Systems (SFM'11)"},{"key":"ref1","first-page":"23","article-title":"Elasticity in cloud computing: What it is, And what it is not","author":"herbst","year":"2013","journal-title":"Proc of ICAC'13"},{"key":"ref20","first-page":"87","article-title":"A coordinated reactive and predictive approach to cloud elasticity","author":"moore","year":"2013","journal-title":"CLOUD COMPUTING 2013"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2494621.2494630"},{"key":"ref21","first-page":"429","article-title":"Multi-level elasticity control of cloud services","author":"copil","year":"2013","journal-title":"ICSOC"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.92"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1809049.1809051"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480442"}],"event":{"name":"2015 15th IEEE\/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)","location":"Shenzhen, China","start":{"date-parts":[[2015,5,4]]},"end":{"date-parts":[[2015,5,7]]}},"container-title":["2015 15th IEEE\/ACM International Symposium on Cluster, Cloud and Grid Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7152188\/7152455\/07152469.pdf?arnumber=7152469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,18]],"date-time":"2022-05-18T11:24:29Z","timestamp":1652873069000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7152469\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/ccgrid.2015.91","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}