{"id":"https://openalex.org/W7549854","doi":"https://doi.org/10.48550/arxiv.1405.4699","title":"Cloud elasticity using probabilistic model checking","display_name":"Cloud elasticity using probabilistic model checking","publication_year":2014,"publication_date":"2014-05-19","ids":{"openalex":"https://openalex.org/W7549854","doi":"https://doi.org/10.48550/arxiv.1405.4699","mag":"7549854"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:1405.4699","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1405.4699","pdf_url":"https://arxiv.org/pdf/1405.4699","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1405.4699","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090087692","display_name":"Athanasios Naskos","orcid":"https://orcid.org/0000-0002-7475-4716","observed_orcids":["https://orcid.org/0000-0002-7475-4716"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Naskos, Athanasios","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015356580","display_name":"Emmanouela Stachtiari","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stachtiari, Emmanouela","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011211191","display_name":"Anastasios Gounaris","orcid":"https://orcid.org/0000-0003-3976-7615","observed_orcids":["https://orcid.org/0000-0003-3976-7615"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gounaris, Anastasios","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002757052","display_name":"Panagiotis Katsaros","orcid":"https://orcid.org/0000-0002-4309-5295","observed_orcids":["https://orcid.org/0000-0002-4309-5295"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Katsaros, Panagiotis","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005628435","display_name":"Dimitrios Tsoumakos","orcid":"https://orcid.org/0000-0003-4420-8949","observed_orcids":["https://orcid.org/0000-0003-4420-8949"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tsoumakos, Dimitrios","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004421134","display_name":"Ioannis Konstantinou","orcid":"https://orcid.org/0000-0002-7142-8106","observed_orcids":["https://orcid.org/0000-0002-7142-8106"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Konstantinou, Ioannis","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5065914489","display_name":"Spyros Sioutas","orcid":"https://orcid.org/0000-0003-1825-5565","observed_orcids":["https://orcid.org/0000-0003-1825-5565"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sioutas, Spyros","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.0012000000569969416,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cloud-elasticity","display_name":"cloud elasticity","score":0.9909999966621399},{"id":"https://openalex.org/keywords/probabilistic-model-checking","display_name":"probabilistic model checking","score":0.8569999933242798},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.9769999980926514},{"id":"https://openalex.org/keywords/on-demand-resource-provisioning","display_name":"on-demand resource provisioning","score":0.8600000143051147},{"id":"https://openalex.org/keywords/quantitative-verification","display_name":"quantitative verification","score":0.824999988079071},{"id":"https://openalex.org/keywords/nosql-databases","display_name":"NoSQL databases","score":0.7200000286102295},{"id":"https://openalex.org/keywords/utility-maximization","display_name":"utility maximization","score":0.7239999771118164}],"concepts":[{"id":"https://openalex.org/C121854251","wikidata":"https://www.wikidata.org/wiki/Q62932","display_name":"Elasticity (physics)","level":2,"score":0.893688976764679},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.7739015817642212},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7290761470794678},{"id":"https://openalex.org/C172191483","wikidata":"https://www.wikidata.org/wiki/Q1071806","display_name":"Provisioning","level":2,"score":0.6514037847518921},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6372203826904297},{"id":"https://openalex.org/C2779599972","wikidata":"https://www.wikidata.org/wiki/Q82231","display_name":"NoSQL","level":3,"score":0.4896133542060852},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4746706485748291},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.4434921443462372},{"id":"https://openalex.org/C75684735","wikidata":"https://www.wikidata.org/wiki/Q858810","display_name":"Big data","level":2,"score":0.3186509907245636},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.28206756711006165},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2600744366645813},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1585373878479004},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08748272061347961},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:1405.4699","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1405.4699","pdf_url":"https://arxiv.org/pdf/1405.4699","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.1405.4699","doi":"https://doi.org/10.48550/arxiv.1405.4699","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1405.4699","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1405.4699","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1405.4699","pdf_url":"https://arxiv.org/pdf/1405.4699","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W304986642","https://openalex.org/W1590860274","https://openalex.org/W1984116073","https://openalex.org/W1985624015","https://openalex.org/W1987191256","https://openalex.org/W1990911977","https://openalex.org/W2041509965","https://openalex.org/W2068058010","https://openalex.org/W2069514290","https://openalex.org/W2075233755","https://openalex.org/W2081360300","https://openalex.org/W2100618668","https://openalex.org/W2106098710","https://openalex.org/W2119567691","https://openalex.org/W2121636721","https://openalex.org/W2125217134","https://openalex.org/W2126707271","https://openalex.org/W2139041001","https://openalex.org/W2143408306","https://openalex.org/W2145457647","https://openalex.org/W2146044140","https://openalex.org/W2154983209","https://openalex.org/W2167090833","https://openalex.org/W4233784018"],"related_works":["https://openalex.org/W1667182463","https://openalex.org/W7100995231","https://openalex.org/W2239684923","https://openalex.org/W3013136516","https://openalex.org/W2980491138","https://openalex.org/W2754190046","https://openalex.org/W2807812088","https://openalex.org/W2741179118","https://openalex.org/W2895237135","https://openalex.org/W2059447001"],"abstract_inverted_index":{"Cloud":[0],"computing":[1],"has":[2,57],"become":[3],"the":[4,33,41,68,80,90,114,158,165],"leading":[5],"paradigm":[6],"for":[7],"deploying":[8],"large-scale":[9],"infrastructures":[10],"and":[11,63,97,117,136,148,173],"running":[12],"big":[13],"data":[14],"applications,":[15],"due":[16],"to":[17,49,73,88,110,157],"its":[18],"capacity":[19],"of":[20,23,32,37,55,82,92,121,153],"achieving":[21],"economies":[22],"scale.":[24],"In":[25],"this":[26],"work,":[27],"we":[28,105,131],"focus":[29],"on":[30],"one":[31],"most":[34],"prominent":[35],"advantages":[36],"cloud":[38],"computing,":[39],"namely":[40],"on-demand":[42],"resource":[43],"provisioning,":[44],"which":[45],"is":[46],"commonly":[47],"referred":[48],"as":[50],"elasticity.":[51],"Although":[52],"a":[53],"lot":[54],"effort":[56],"been":[58],"invested":[59],"in":[60,151,167],"developing":[61],"systems":[62],"mechanisms":[64],"that":[65],"enable":[66],"elasticity,":[67],"elasticity":[69,93,112,134,138],"decision":[70,143],"policies":[71,94,144],"tend":[72],"be":[74],"designed":[75],"without":[76],"guaranteeing":[77],"or":[78],"quantifying":[79],"quality":[81],"their":[83],"operation.":[84],"This":[85],"work":[86],"aims":[87],"make":[89,100],"development":[91],"more":[95],"formalized":[96],"dependable.":[98],"We":[99,140],"two":[101],"distinct":[102],"contributions.":[103],"First,":[104],"propose":[106,132],"an":[107],"extensible":[108],"approach":[109,162],"enforcing":[111],"through":[113],"dynamic":[115],"instantiation":[116],"online":[118],"quantitative":[119],"verification":[120],"Markov":[122],"Decision":[123],"Processes":[124],"(MDP)":[125],"using":[126,145],"probabilistic":[127],"model":[128],"checking.":[129],"Second,":[130],"concrete":[133],"models":[135],"related":[137],"policies.":[139],"evaluate":[141],"our":[142,161],"both":[146],"real":[147],"synthetic":[149],"datasets":[150],"clusters":[152],"NoSQL":[154],"databases.":[155],"According":[156],"experimental":[159],"results,":[160],"improves":[163],"upon":[164],"state-of-the-art":[166],"significantly":[168],"increasing":[169],"user-defined":[170,175],"utility":[171],"values":[172],"decreasing":[174],"threshold":[176],"violations.":[177]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":8},{"year":2014,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}