{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T18:44:07Z","timestamp":1784573047098,"version":"3.55.0"},"reference-count":42,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2018,3,31]],"date-time":"2018-03-31T00:00:00Z","timestamp":1522454400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS 1116848"],"award-info":[{"award-number":["CNS 1116848"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000005","name":"Department of Defense","doi-asserted-by":"crossref","award":["FA8721-05-C-0003"],"award-info":[{"award-number":["FA8721-05-C-0003"]}],"id":[{"id":"10.13039\/100000005","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"crossref","award":["N000141310401 and N000141310171"],"award-info":[{"award-number":["N000141310401 and N000141310171"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100009226","name":"National Security Agency","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100009226","id-type":"DOI","asserted-by":"crossref"}]},{"name":"research and development center"},{"name":"Carnegie Mellon University for the operation of the Software Engineering Institute"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2018,3,31]]},"abstract":"<jats:p>Proactive latency-aware adaptation is an approach for self-adaptive systems that considers both the current and anticipated adaptation needs when making adaptation decisions, taking into account the latency of the available adaptation tactics. Since this is a problem of selecting adaptation actions in the context of the probabilistic behavior of the environment, Markov decision processes (MDPs) are a suitable approach. However, given all the possible interactions between the different and possibly concurrent adaptation tactics, the system, and the environment, constructing the MDP is a complex task. Probabilistic model checking has been used to deal with this problem, but it requires constructing the MDP every time an adaptation decision is made to incorporate the latest predictions of the environment behavior. In this article, we describe PLA-SDP, an approach that eliminates that runtime overhead by constructing most of the MDP offline. At runtime, the adaptation decision is made by solving the MDP through stochastic dynamic programming, weaving in the environment model as the solution is computed. We also present extensions that support different notions of utility, such as maximizing reward gain subject to the satisfaction of a probabilistic constraint, making PLA-SDP applicable to systems with different kinds of adaptation goals.<\/jats:p>","DOI":"10.1145\/3149180","type":"journal-article","created":{"date-parts":[[2018,4,16]],"date-time":"2018-04-16T12:27:57Z","timestamp":1523881677000},"page":"1-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation"],"prefix":"10.1145","volume":"13","author":[{"given":"Gabriel A.","family":"Moreno","sequence":"first","affiliation":[{"name":"Software Engineering Institute and Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Javier","family":"C\u00e1mara","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Garlan","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bradley","family":"Schmerl","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,4,16]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAS.2008.35"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897053.2897054"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/65.844498"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/233013.233034"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.2864"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 44th IEEE Conference on Decision and Control. IEEE, 5680--5685","author":"Bertuccelli L. F.","unstructured":"L. F. Bertuccelli and J. P. How . 2005. Robust UAV search for environments with imprecise probability maps . In Proceedings of the 44th IEEE Conference on Decision and Control. IEEE, 5680--5685 . L. F. Bertuccelli and J. P. How. 2005. Robust UAV search for environments with imprecise probability maps. In Proceedings of the 44th IEEE Conference on Decision and Control. IEEE, 5680--5685."},{"key":"e_1_2_1_7_1","volume-title":"Camacho and Carlos Bordons Alba","author":"Eduardo","year":"2013","unstructured":"Eduardo F. Camacho and Carlos Bordons Alba . 2013 . Model Predictive Control. Springer . 405 pages. Eduardo F. Camacho and Carlos Bordons Alba. 2013. Model Predictive Control. Springer. 405 pages."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593933"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774222"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.02.060"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPECTS.2014.6879991"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBAC-PAD.2014.16"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382553.2382556"},{"key":"e_1_2_1_15_1","volume-title":"High Performance TCP\/HTTP Load Balancer. Retrieved","year":"2016","unstructured":"HAProxy 2016 . The Reliable , High Performance TCP\/HTTP Load Balancer. Retrieved February 20, 2017 from http:\/\/www.haproxy.org\/. HAProxy 2016. The Reliable, High Performance TCP\/HTTP Load Balancer. Retrieved February 20, 2017 from http:\/\/www.haproxy.org\/."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2797433.2797439"},{"key":"e_1_2_1_17_1","volume-title":"Programs are predicates","author":"Hoare C. A. R.","unstructured":"C. A. R. Hoare . 1985. Programs are predicates . In Mathematical Logic and Programming Languages, C. A. R. Hoare and J. C. Shepherdson (Eds.). Prentice-Hall , 141--154. C. A. R. Hoare. 1985. Programs are predicates. In Mathematical Logic and Programming Languages, C. A. R. Hoare and J. C. Shepherdson (Eds.). Prentice-Hall, 141--154."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2016.12"},{"key":"e_1_2_1_19_1","first-page":"1","article-title":"Online energy budgeting for cost minimization in virtualized data center","volume":"99","author":"Islam Mohammad","year":"2015","unstructured":"Mohammad Islam , Shaolei Ren , Hasan Mahmud , and Gang Quan . 2015 . Online energy budgeting for cost minimization in virtualized data center . IEEE Transactions on Services Computing PP , 99 (2015), 1 -- 1 . Mohammad Islam, Shaolei Ren, Hasan Mahmud, and Gang Quan. 2015. Online energy budgeting for cost minimization in virtualized data center. IEEE Transactions on Services Computing PP, 99 (2015), 1--1.","journal-title":"IEEE Transactions on Services Computing PP"},{"key":"e_1_2_1_20_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson Daniel","year":"2012","unstructured":"Daniel Jackson . 2012 . Software Abstractions: Logic, Language, and Analysis . The MIT Press . Daniel Jackson. 2012. Software Abstractions: Logic, Language, and Analysis. The MIT Press."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1813355.1813367"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2786210.2786215"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568227"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2014.09.009"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-008-0070-y"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032352"},{"key":"e_1_2_1_28_1","volume-title":"Retrieved","author":"LQNS","year":"2011","unstructured":"LQNS 2011 . Layered Queueing Network Solver . Retrieved February 20, 2017 from http:\/\/www.sce.carleton.ca\/rads\/lqns. LQNS 2011. Layered Queueing Network Solver. Retrieved February 20, 2017 from http:\/\/www.sce.carleton.ca\/rads\/lqns."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2012.103"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2016.59"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2015.91"},{"key":"e_1_2_1_33_1","volume-title":"Optimization, Performance Evaluation and Resource Allocator. Retrieved","author":"OPERA","year":"2017","unstructured":"OPERA n.d. Optimization, Performance Evaluation and Resource Allocator. Retrieved February 20, 2017 from http:\/\/www.ceraslabs.com\/technologies\/opera. OPERA n.d. Optimization, Performance Evaluation and Resource Allocator. Retrieved February 20, 2017 from http:\/\/www.ceraslabs.com\/technologies\/opera."},{"key":"e_1_2_1_34_1","first-page":"673","article-title":"Dynamic programming","volume":"4","author":"Puterman M. L.","year":"2002","unstructured":"M. L. Puterman . 2002 . Dynamic programming . Encyclopedia of Physical Science and Technology 4 (2002), 673 -- 696 . M. L. Puterman. 2002. Dynamic programming. Encyclopedia of Physical Science and Technology 4 (2002), 673--696.","journal-title":"Encyclopedia of Physical Science and Technology"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2014.76"},{"key":"e_1_2_1_36_1","volume-title":"Retrieved","year":"2009","unstructured":"RUBiS 2009 . RUBiS: Rice University Bidding System . Retrieved February 20, 2017 from http:\/\/rubis.ow2.org\/. RUBiS 2009. RUBiS: Rice University Bidding System. Retrieved February 20, 2017 from http:\/\/rubis.ow2.org\/."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509355"},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the 9th USENIX Conference on File and Storage Technologies (FAST\u201911)","author":"Trushkowsky B.","unstructured":"B. Trushkowsky , P. Bod\u00edk , A. Fox , and M. J. Franklin . 2011. The SCADS director: Scaling a distributed storage system under stringent performance requirements . In Proceedings of the 9th USENIX Conference on File and Storage Technologies (FAST\u201911) . USENIX Association, 163--176. B. Trushkowsky, P. Bod\u00edk, A. Fox, and M. J. Franklin. 2011. The SCADS director: Scaling a distributed storage system under stringent performance requirements. In Proceedings of the 9th USENIX Conference on File and Storage Technologies (FAST\u201911). USENIX Association, 163--176."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555611"},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems.","author":"Zhang Ji","unstructured":"Ji Zhang , Zhenxiao Yang , Betty H. C. Cheng , and Philip K . McKinley. 2004. Adding safeness to dynamic adaptation techniques . In Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems. Ji Zhang, Zhenxiao Yang, Betty H. C. Cheng, and Philip K. McKinley. 2004. Adding safeness to dynamic adaptation techniques. In Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11134-008-9095-4"}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3149180","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3149180","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3149180","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:37:02Z","timestamp":1750282622000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3149180"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,31]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3,31]]}},"alternative-id":["10.1145\/3149180"],"URL":"https:\/\/doi.org\/10.1145\/3149180","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"value":"1556-4665","type":"print"},{"value":"1556-4703","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,31]]},"assertion":[{"value":"2017-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}