{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:50Z","timestamp":1750306670236,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,27]],"date-time":"2014-06-27T00:00:00Z","timestamp":1403827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FSN Datalyse project and ANR INFRA","award":["ANR-11-INFR 012 11"],"award-info":[{"award-number":["ANR-11-INFR 012 11"]}]},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-11-INFR 012 11"],"award-info":[{"award-number":["ANR-11-INFR 012 11"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,27]]},"DOI":"10.1145\/2602458.2602465","type":"proceedings-article","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T14:23:03Z","timestamp":1404224583000},"page":"3-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Modular coordination of multiple autonomic managers"],"prefix":"10.1145","author":[{"given":"Gwena\u00ebl","family":"Delaval","sequence":"first","affiliation":[{"name":"Univ. Grenoble Alpes, LIG, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soguy Mak-Kar\u00e9","family":"Gueye","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, LIG, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Rutten","sequence":"additional","affiliation":[{"name":"INRIA, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"No\u00ebl","family":"De Palma","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, LIG, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. Workshop Feedback Computing","author":"Abdelzaher T.","year":"2013","unstructured":"T. Abdelzaher . Research challenges in feedback computing: An interdisciplinary agenda . In Proc. Workshop Feedback Computing , 2013 . T. Abdelzaher. Research challenges in feedback computing: An interdisciplinary agenda. In Proc. Workshop Feedback Computing, 2013."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30829-1_3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038690"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486791"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v36:11\/12"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. Conf. AAMAS","author":"Das R.","year":"2008","unstructured":"R. Das , J. Kephart , C. Lefurgy , G. Tesauro , D. Levine , and H. Chan . Autonomic multi-agent management of power and performance in data centers . In Proc. Conf. AAMAS , 2008 . R. Das, J. Kephart, C. Lefurgy, G. Tesauro, D. Levine, and H. Chan. Autonomic multi-agent management of power and performance in data centers. In Proc. Conf. AAMAS, 2008."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13238-4_6"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-013-0163-5"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. Conf. Coordination","author":"Gueye S. M.-K.","year":"2013","unstructured":"S. M.-K. Gueye , N. de Palma , and E. Rutten . Coordination control of component-based autonomic administration loops . In Proc. Conf. Coordination , 2013 . S. M.-K. Gueye, N. de Palma, and E. Rutten. Coordination control of component-based autonomic administration loops. In Proc. Conf. Coordination, 2013."},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science","first-page":"432","volume-title":"Computer Aided Verification","author":"Gupta A.","unstructured":"A. Gupta , K. McMillan , and Z. Fu . Automated assumption generation for compositional verification . In W. Damm and H. Hermanns, editors, Computer Aided Verification , volume 4590 of Lecture Notes in Computer Science , pages 420{ 432 . Springer Berlin Heidelberg, 2007. A. Gupta, K. McMillan, and Z. Fu. Automated assumption generation for compositional verification. In W. Damm and H. Hermanns, editors, Computer Aided Verification, volume 4590 of Lecture Notes in Computer Science, pages 420{432. Springer Berlin Heidelberg, 2007."},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. Conf. CAV","author":"Halbwachs N.","year":"1998","unstructured":"N. Halbwachs . Synchronous programming of reactive systems, a tutorial and commented bibliography . In Proc. Conf. CAV , 1998 . N. Halbwachs. Synchronous programming of reactive systems, a tutorial and commented bibliography. In Proc. Conf. CAV, 1998."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. Conf. EMSOFT","author":"Halbwachs N.","year":"2002","unstructured":"N. Halbwachs and S. Baghdadi . Synchronous modeling of asynchronous systems . In Proc. Conf. EMSOFT , Grenoble , Oct. 2002 . N. Halbwachs and S. Baghdadi. Synchronous modeling of asynchronous systems. In Proc. Conf. EMSOFT, Grenoble, Oct. 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/975344"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2011.52"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508293.1508300"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1998582.1998584"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.879811"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. IEEE, 77(1)","author":"Ramadge P.","year":"1989","unstructured":"P. Ramadge and W. Wonham . On the supervisory control of discrete event systems . Proc. IEEE, 77(1) , Jan. 1989 . P. Ramadge and W. Wonham. On the supervisory control of discrete event systems. Proc. IEEE, 77(1), Jan. 1989."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368103"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1292316.1292318"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988037"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480913"}],"event":{"name":"CompArch'14: Federated Events on Component-Based Software Engineering and Software Architecture","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Marcq-en-Bareul France","acronym":"CompArch'14"},"container-title":["Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2602458.2602465","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2602458.2602465","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:48Z","timestamp":1750230048000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2602458.2602465"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,27]]},"references-count":24,"alternative-id":["10.1145\/2602458.2602465","10.1145\/2602458"],"URL":"https:\/\/doi.org\/10.1145\/2602458.2602465","relation":{},"subject":[],"published":{"date-parts":[[2014,6,27]]},"assertion":[{"value":"2014-06-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}