{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:39:55Z","timestamp":1743050395435,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47166-2_45","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T18:07:34Z","timestamp":1475604454000},"page":"642-656","source":"Crossref","is-referenced-by-count":2,"title":["Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication"],"prefix":"10.1007","author":[{"given":"Tomas","family":"Bures","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Hnetynka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filip","family":"Krijt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Matena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frantisek","family":"Plasil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"Bures, T., et al.: DEECo: an ensemble-based component system. In: Proceedings of CBSE 2013, Vancouver, Canada, pp. 81\u201390. ACM (2013)","DOI":"10.1145\/2465449.2465462"},{"key":"45_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/978-3-319-09970-5_23","volume-title":"Software Architecture","author":"T Bures","year":"2014","unstructured":"Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: Gossiping components for cyber-physical systems. In: Avgeriou, P., Zdun, U. (eds.) ECSA 2014. LNCS, vol. 8627, pp. 250\u2013266. Springer, Heidelberg (2014)"},{"issue":"6","key":"45_CR3","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/2830719.2830736","volume":"40","author":"T Bures","year":"2015","unstructured":"Bures, T., et al.: Software engineering for smart cyber-physical systems \u2013 towards a research agenda: report on the first international workshop on software engineering for smart CPS. SIGSOFT Softw. Eng. Notes 40(6), 28\u201332 (2015)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"Bures, T., et al.: Towards intelligent ensembles. In: Proceedings of ECSAW 2015, Dubrovnik\/Cavcat, Croatia, pp. 1\u20134. ACM (2015)","DOI":"10.1145\/2797433.2797450"},{"issue":"6","key":"45_CR5","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1109\/TSMCC.2011.2174982","volume":"42","author":"N Cai","year":"2012","unstructured":"Cai, N., et al.: Application-oriented intelligent middleware for distributed sensing and control. IEEE Trans. Syst. Man Cybern. Part C (Appl. Rev.) 42(6), 947\u2013956 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern. Part C (Appl. Rev.)"},{"key":"45_CR6","volume-title":"Just Enough Software Architecture: A Risk-Driven Approach","author":"G Fairbanks","year":"2010","unstructured":"Fairbanks, G., Garlan, D.: Just Enough Software Architecture: A Risk-Driven Approach. Marshall & Brainerd, Boulder (2010)"},{"issue":"5","key":"45_CR7","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/1317379.1317390","volume":"41","author":"R Friedman","year":"2007","unstructured":"Friedman, R., et al.: Gossiping on MANETs: the beauty and the beast. ACM SIGOPS Oper. Syst. Rev. 41(5), 67\u201374 (2007)","journal-title":"ACM SIGOPS Oper. Syst. Rev."},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"Gaston, M.E., desJardins, M.: Agent-organized networks for dynamic team formation. In: Proceedings of AAMAS 2005, Utrecht, Netherlands, pp. 230\u2013237. ACM (2005)","DOI":"10.1145\/1082473.1082508"},{"issue":"10","key":"45_CR9","doi-asserted-by":"crossref","first-page":"1295","DOI":"10.1016\/j.robot.2012.06.004","volume":"60","author":"J Guerrero","year":"2012","unstructured":"Guerrero, J., Oliver, G.: Multi-robot coalition formation in real-time scenarios. Robot. Auton. Syst. 60(10), 1295\u20131307 (2012)","journal-title":"Robot. Auton. Syst."},{"key":"45_CR10","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-642-54624-2_18","volume-title":"Specification, Algebra, and Software","author":"R Hennicker","year":"2014","unstructured":"Hennicker, R., Klarl, A.: Foundations for ensemble modeling \u2013 the Helena approach. In: Iida, S., et al. (eds.) Specification, Algebra, and Software, pp. 359\u2013381. Springer, Heidelberg (2014)"},{"key":"45_CR11","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/978-3-319-16310-9_17","volume-title":"Software Engineering for Collective Autonomic Systems","author":"N Hoch","year":"2015","unstructured":"Hoch, N., et al.: The E-mobility case study. In: Wirsing, M., et al. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 513\u2013533. Springer, Heidelberg (2015)"},{"key":"45_CR12","doi-asserted-by":"crossref","unstructured":"Kit, M., et al.: Employing domain knowledge for optimizing component communication. In: Proceedings of CBSE 2015, Montreal, Canada, pp. 59\u201364. ACM (2015)","DOI":"10.1145\/2737166.2737172"},{"issue":"6","key":"45_CR13","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/MWC.2007.4407228","volume":"14","author":"M Marin-Perianu","year":"2007","unstructured":"Marin-Perianu, M., et al.: Decentralized enterprise systems: a multiplatform wireless sensor network approach. IEEE Wirel. Commun. 14(6), 57\u201366 (2007)","journal-title":"IEEE Wirel. Commun."},{"key":"45_CR14","unstructured":"Michalak, T., et al.: A distributed algorithm for anytime coalition structure generation. In: Proceedings of AAMAS 2010, Toronto, Canada, pp. 1007\u20131014, International Foundation for Autonomous Agents and Multiagent Systems (2010)"},{"key":"45_CR15","unstructured":"OMG: MDA Guide revision 2.0 (2014). http:\/\/www.omg.org\/cgi-bin\/doc?ormsc\/14-06-01"},{"key":"45_CR16","doi-asserted-by":"crossref","unstructured":"Parker, J., et al.: Exploiting spatial locality and heterogeneity of agents for search and rescue teamwork. J. Field Robot. (2015, accepted)","DOI":"10.1002\/rob.21601"},{"issue":"5","key":"45_CR17","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/332833.332838","volume":"43","author":"GJ Pottie","year":"2000","unstructured":"Pottie, G.J., Kaiser, W.J.: Wireless integrated network sensors. Commun. ACM 43(5), 51\u201358 (2000)","journal-title":"Commun. ACM"},{"key":"45_CR18","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/j.artint.2012.03.007","volume":"186","author":"T Rahwan","year":"2012","unstructured":"Rahwan, T., et al.: Anytime coalition structure generation in multi-agent systems with positive or negative externalities. Artif. Intell. 186, 95\u2013122 (2012)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"45_CR19","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0004-3702(99)00036-3","volume":"111","author":"T Sandholm","year":"1999","unstructured":"Sandholm, T., et al.: Coalition structure generation with worst case guarantees. Artif. Intell. 111(1\u20132), 209\u2013238 (1999)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"45_CR20","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0004-3702(98)00045-9","volume":"101","author":"O Shehory","year":"1998","unstructured":"Shehory, O., Kraus, S.: Methods for task allocation via agent coalition formation. Artif. Intell. 101(1\u20132), 165\u2013200 (1998)","journal-title":"Artif. Intell."},{"issue":"7","key":"45_CR21","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1109\/MCOM.2002.1018018","volume":"40","author":"I Stojmenovic","year":"2002","unstructured":"Stojmenovic, I.: Position-based routing in ad hoc networks. IEEE Commun. Mag. 40(7), 128\u2013134 (2002)","journal-title":"IEEE Commun. Mag."},{"issue":"4","key":"45_CR22","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1109\/TRO.2006.878948","volume":"22","author":"L Vig","year":"2006","unstructured":"Vig, L., Adams, J.A.: Multi-robot coalition formation. IEEE Trans. Rob. 22(4), 637\u2013649 (2006)","journal-title":"IEEE Trans. Rob."},{"key":"45_CR23","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Formal Methods for Components and Objects","author":"M Wirsing","year":"2012","unstructured":"Wirsing, M., H\u00f6lzl, M., Tribastone, M., Zambonelli, F.: ASCENS: engineering autonomic service-component ensembles. In: Beckert, B., Damiani, F., Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 1\u201324. Springer, Heidelberg (2012)"},{"key":"45_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-16310-9","volume-title":"Software Engineering for Collective Autonomic Systems (The ASCENS Approach)","author":"M Wirsing","year":"2015","unstructured":"Wirsing, M., et al.: Software Engineering for Collective Autonomic Systems (The ASCENS Approach). Springer, Heidelberg (2015)"},{"key":"45_CR25","doi-asserted-by":"crossref","unstructured":"Witsch, A., Geihs, K.: An adaptive middleware core for a multi-agent coordination language. In: Proceedings of NetSys 2015, Cottbus, Germany, pp. 1\u20138. IEEE (2015)","DOI":"10.1109\/NetSys.2015.7089064"},{"issue":"5","key":"45_CR26","doi-asserted-by":"crossref","first-page":"1042","DOI":"10.1109\/TPDS.2012.213","volume":"24","author":"D Ye","year":"2013","unstructured":"Ye, D., et al.: Self-adaptation-based dynamic coalition formation in a distributed agent network: a mechanism and a brief survey. IEEE Trans. Parallel Distrib. Syst. 24(5), 1042\u20131051 (2013)","journal-title":"IEEE Trans. Parallel Distrib. Syst."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:10:16Z","timestamp":1568434216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}