{"id":"https://openalex.org/W4291972664","doi":"https://doi.org/10.1145/3555315","title":"Formally Verified Scalable Look Ahead Planning For Cloud Resource Management","display_name":"Formally Verified Scalable Look Ahead Planning For Cloud Resource Management","publication_year":2022,"publication_date":"2022-08-16","ids":{"openalex":"https://openalex.org/W4291972664","doi":"https://doi.org/10.1145/3555315"},"language":"en","primary_location":{"id":"doi:10.1145/3555315","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3555315","pdf_url":null,"source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078859266","display_name":"Farzin Zaker","orcid":"https://orcid.org/0000-0002-6410-1105"},"institutions":[{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Farzin Zaker","raw_affiliation_strings":["Lassonde School of Engineering, York University, Toronto, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"Lassonde School of Engineering, York University, Toronto, Ontario, Canada","institution_ids":["https://openalex.org/I192455969"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051000791","display_name":"Marin Litoiu","orcid":"https://orcid.org/0000-0003-0383-920X"},"institutions":[{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Marin Litoiu","raw_affiliation_strings":["Lassonde School of Engineering, York University, Toronto, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"Lassonde School of Engineering, York University, Toronto, Ontario, Canada","institution_ids":["https://openalex.org/I192455969"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058812035","display_name":"Mark Shtern","orcid":null},"institutions":[{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mark Shtern","raw_affiliation_strings":["Lassonde School of Engineering, York University, Toronto, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"Lassonde School of Engineering, York University, Toronto, Ontario, Canada","institution_ids":["https://openalex.org/I192455969"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078859266"],"corresponding_institution_ids":["https://openalex.org/I192455969"],"apc_list":null,"apc_paid":null,"fwci":1.5901,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.86920544,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":"17","issue":"3-4","first_page":"1","last_page":"23"},"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.9997000098228455,"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.9997000098228455,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9994999766349792,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9979000091552734,"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/computer-science","display_name":"Computer science","score":0.9053324460983276},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.8248247504234314},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7785802483558655},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.7576777935028076},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.6583179831504822},{"id":"https://openalex.org/keywords/service-level-agreement","display_name":"Service-level agreement","score":0.5621161460876465},{"id":"https://openalex.org/keywords/service-level","display_name":"Service level","score":0.48351529240608215},{"id":"https://openalex.org/keywords/elasticity","display_name":"Elasticity (physics)","score":0.46813711524009705},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4222005605697632},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.41630181670188904},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1943134367465973}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9053324460983276},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.8248247504234314},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7785802483558655},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.7576777935028076},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.6583179831504822},{"id":"https://openalex.org/C2778160497","wikidata":"https://www.wikidata.org/wiki/Q869830","display_name":"Service-level agreement","level":3,"score":0.5621161460876465},{"id":"https://openalex.org/C181889124","wikidata":"https://www.wikidata.org/wiki/Q380204","display_name":"Service level","level":2,"score":0.48351529240608215},{"id":"https://openalex.org/C121854251","wikidata":"https://www.wikidata.org/wiki/Q62932","display_name":"Elasticity (physics)","level":2,"score":0.46813711524009705},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4222005605697632},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.41630181670188904},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1943134367465973},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"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/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3555315","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3555315","pdf_url":null,"source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.550000011920929,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1539705164","https://openalex.org/W1543320899","https://openalex.org/W1576770735","https://openalex.org/W1805171086","https://openalex.org/W1990911977","https://openalex.org/W2002239455","https://openalex.org/W2012595226","https://openalex.org/W2013298510","https://openalex.org/W2053316513","https://openalex.org/W2072794470","https://openalex.org/W2073218284","https://openalex.org/W2102782308","https://openalex.org/W2118043377","https://openalex.org/W2125262761","https://openalex.org/W2143787862","https://openalex.org/W2162950249","https://openalex.org/W2234748059","https://openalex.org/W2297435753","https://openalex.org/W2529113503","https://openalex.org/W2620934568","https://openalex.org/W2737308561","https://openalex.org/W2774514377","https://openalex.org/W2782809355","https://openalex.org/W2782890256","https://openalex.org/W2952860294","https://openalex.org/W3009604956","https://openalex.org/W4252975404","https://openalex.org/W4398497292"],"related_works":["https://openalex.org/W1505516830","https://openalex.org/W4293586492","https://openalex.org/W4308050728","https://openalex.org/W1580216079","https://openalex.org/W4241940037","https://openalex.org/W2151841150","https://openalex.org/W2174749613","https://openalex.org/W2785347425","https://openalex.org/W1481152834","https://openalex.org/W2053439358"],"abstract_inverted_index":{"In":[0],"this":[1],"article,":[2],"we":[3,115],"propose":[4],"and":[5,36,66,80,95,119],"implement":[6],"a":[7,67,126,148,154],"distributed":[8,63,101],"autonomic":[9,23,51,123],"manager":[10,24,52,124],"that":[11,143],"maintains":[12],"service":[13],"level":[14],"agreements":[15],"(SLA)":[16],"for":[17,32],"each":[18,33],"application":[19,34],"scenario.":[20],"The":[21,44],"proposed":[22,50],"supports":[25],"SLAs":[26],"by":[27,164],"configuring":[28],"the":[29,49,93,99,106,117,122,145,158,161],"bandwidth":[30],"ratios":[31],"scenario":[35],"uses":[37],"an":[38,42],"overlay":[39],"network":[40],"as":[41,87,125],"infrastructure.":[43],"most":[45],"important":[46],"aspect":[47],"of":[48,70,98,121,128,138,147,160],"is":[53],"its":[54,129],"scalability":[55],"which":[56],"allows":[57],"us":[58],"to":[59,131,153,166],"deal":[60],"with":[61,135],"geographically":[62],"cloud-based":[64],"applications":[65,134],"large":[68],"volume":[69],"computation.":[71],"This":[72],"can":[73],"be":[74],"useful":[75],"in":[76,81],"look":[77,149],"ahead":[78,150],"optimization":[79],"adaptations":[82],"using":[83,110],"complex":[84],"models,":[85],"such":[86],"machine":[88],"learning.":[89],"We":[90],"formally":[91],"prove":[92],"safety":[94],"liveness":[96],"properties":[97],"implemented":[100],"algorithms.":[102],"Through":[103],"experiments":[104],"on":[105],"Amazon":[107],"AWS":[108],"cloud,":[109],"two":[111],"different":[112,132,136],"use":[113],"cases,":[114],"demonstrate":[116,142],"elasticity":[118],"flexibility":[120],"measure":[127],"applicability":[130],"cloud":[133],"types":[137],"workloads.":[139],"Experiments":[140],"also":[141],"increasing":[144],"size":[146],"window,":[151],"up":[152,165],"certain":[155],"size,":[156],"improves":[157],"accuracy":[159],"adaptation":[162],"decisions":[163],"50%.":[167]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}