{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:18:36Z","timestamp":1777299516592,"version":"3.51.4"},"reference-count":48,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2017,9,20]],"date-time":"2017-09-20T00:00:00Z","timestamp":1505865600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2017,9,30]]},"abstract":"<jats:p>\n            A key problem when coordinating the behaviour of spatially situated networks, like those typically found in the Internet of Things (IoT), is adaptation to changes impacting network topology, density, and heterogeneity. Computational goals for such systems, however, are often dependent on geometric properties of the continuous environment in which the devices are situated rather than the particulars of how devices happen to be distributed through it. In this article, we identify a new property of distributed algorithms,\n            <jats:italic>eventual consistency<\/jats:italic>\n            , which guarantees that computation converges to a final state that approximates a predictable limit, based on the continuous environment, as the density and speed of devices increases. We then identify a large class of programs that are eventually consistent, building on prior results on the field calculus computational model (Beal et al. 2015; Viroli et al. 2015a) that identify a class of self-stabilizing programs. Finally, we confirm through simulation of IoT application scenarios that eventually consistent programs from this class can provide resilient behavior where programs that are only converging fail badly.\n          <\/jats:p>","DOI":"10.1145\/3105758","type":"journal-article","created":{"date-parts":[[2017,9,20]],"date-time":"2017-09-20T12:35:19Z","timestamp":1505910919000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":40,"title":["Self-Adaptation to Device Distribution in the Internet of Things"],"prefix":"10.1145","volume":"12","author":[{"given":"Jacob","family":"Beal","sequence":"first","affiliation":[{"name":"Raytheon BBN Technologies, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[{"name":"University of Bologna, Cesena, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danilo","family":"Pianini","sequence":"additional","affiliation":[{"name":"University of Bologna, Cesena, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8109-1706","authenticated-orcid":false,"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"University of Torino, Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,20]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Technical Report AIM-1665. MIT.","author":"Abelson H.","year":"1999","unstructured":"H. Abelson , D. Allen , D. Coore , C. Hanson , G. Homsy , T. Knight , R. Nagpal , E. Rauch , G. Sussman , and R. Weiss . 1999 . Amorphous Computing . Technical Report AIM-1665. MIT. H. Abelson, D. Allen, D. Coore, C. Hanson, G. Homsy, T. Knight, R. Nagpal, E. Rauch, G. Sussman, and R. Weiss. 1999. Amorphous Computing. Technical Report AIM-1665. MIT."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1459010.1459011"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399480"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11527800_10"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASOW.2010.21"},{"key":"e_1_2_1_6_1","first-page":"436","article-title":"Organizing the aggregate: Languages for spatial computing. In Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, Marjan Mernik (Ed.). IGI Global, Hershey, PA","volume":"16","author":"Beal Jacob","year":"2013","unstructured":"Jacob Beal , Stefan Dulman , Kyle Usbeck , Mirko Viroli , and Nikolaus Correll . 2013 . Organizing the aggregate: Languages for spatial computing. In Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, Marjan Mernik (Ed.). IGI Global, Hershey, PA , Chapter 16 , 436 -- 501 . Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, and Nikolaus Correll. 2013. Organizing the aggregate: Languages for spatial computing. In Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, Marjan Mernik (Ed.). IGI Global, Hershey, PA, Chapter 16, 436--501.","journal-title":"Chapter"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.261"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxs099"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASOW.2014.6"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the 7th Spatial Computing Workshop (SCW\u201914)","author":"Beal Jacob","year":"2014","unstructured":"Jacob Beal , Mirko Viroli , and Ferruccio Damiani . 2014 . Towards a unified model of spatial computing . In Proceedings of the 7th Spatial Computing Workshop (SCW\u201914) . Jacob Beal, Mirko Viroli, and Ferruccio Damiani. 2014. Towards a unified model of spatial computing. In Proceedings of the 7th Spatial Computing Workshop (SCW\u201914)."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2016.12"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the Workshop on Adaptability in Multi-Agent Systems, RoboCup Australian Open.","author":"Clement Lauren","year":"2003","unstructured":"Lauren Clement and Radhika Nagpal . 2003 . Self-assembly and self-repairing topologies . In Proceedings of the Workshop on Adaptability in Multi-Agent Systems, RoboCup Australian Open. Lauren Clement and Radhika Nagpal. 2003. Self-assembly and self-repairing topologies. In Proceedings of the Workshop on Adaptability in Multi-Agent Systems, RoboCup Australian Open."},{"key":"e_1_2_1_14_1","unstructured":"Daniel Coore. 1999. Botanical Computing: A Developmental Approach to Generating Inter Connect Topologies on an Amorphous Computer. Ph.D. Dissertation. MIT Cambridge MA.   Daniel Coore. 1999. Botanical Computing: A Developmental Approach to Generating Inter Connect Topologies on an Amorphous Computer. Ph.D. Dissertation. MIT Cambridge MA."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2005.08.003"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-11(4:21)2015"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.11.005"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19195-9_8"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Shlomi Dolev. 2000. Self-Stabilization. MIT Press Cambridge MA.   Shlomi Dolev. 2000. Self-Stabilization. MIT Press Cambridge MA.","DOI":"10.7551\/mitpress\/6156.001.0001"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(89)90018-X"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2767133"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-012-9324-y"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11527800_11"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-014-9264-2"},{"key":"e_1_2_1_27_1","volume-title":"Modern Theories of Integration (2nd. rev. ed.)","author":"Kestelman H.","unstructured":"H. Kestelman . 1960. Modern Theories of Integration (2nd. rev. ed.) . Dover , New York, NY , 113--160. H. Kestelman. 1960. Modern Theories of Integration (2nd. rev. ed.). Dover, New York, NY, 113--160."},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201903)","author":"Kondacs Attila","year":"2003","unstructured":"Attila Kondacs . 2003 . Biologically-inspired self-assembly of 2D shapes, using global-to-local compilation . In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201903) . Attila Kondacs. 2003. Biologically-inspired self-assembly of 2D shapes, using global-to-local compilation. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201903)."},{"key":"e_1_2_1_29_1","unstructured":"C. Lasser J. P. Massar J. Miney and L. Dayton. 1988. Starlisp Reference Manual.  C. Lasser J. P. Massar J. Miney and L. Dayton. 1988. Starlisp Reference Manual."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AGNT.0000019690.28073.04"},{"key":"e_1_2_1_31_1","volume-title":"Distributed Algorithms. Morgan Kaufmann","author":"Lynch Nancy A.","unstructured":"Nancy A. Lynch . 1996. Distributed Algorithms. Morgan Kaufmann , San Francisco, CA . Nancy A. Lynch. 1996. Distributed Algorithms. Morgan Kaufmann, San Francisco, CA."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/844128.844142"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-006-7232-1"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538942.1538945"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052199.1052213"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9053-x"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.846408"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39519-7_12"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2012.27"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695913"},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the International Conference on Application-Specific Array Processors. 132--135","author":"Raimbault F.","unstructured":"F. Raimbault and D. Lavenier . 1993. ReLaCS for systolic programming . In Proceedings of the International Conference on Application-Specific Array Processors. 132--135 . F. Raimbault and D. Lavenier. 1993. ReLaCS for systolic programming. In Proceedings of the International Conference on Application-Specific Array Processors. 132--135."},{"key":"e_1_2_1_44_1","volume-title":"Taylor and John Archibald Wheeler","author":"Edwin","year":"1992","unstructured":"Edwin F. Taylor and John Archibald Wheeler . 1992 . Spacetime Physics : Introduction to Special Relativity (2nd ed.). W. H. Freeman 8 Company , Gordonsville, VA. Edwin F. Taylor and John Archibald Wheeler. 1992. Spacetime Physics: Introduction to Special Relativity (2nd ed.). W. H. Freeman 8 Company, Gordonsville, VA."},{"key":"e_1_2_1_45_1","volume-title":"Collaborative Agents-Research and Development","author":"Taylor Matthew E.","unstructured":"Matthew E. Taylor , Manish Jain , Christopher Kiekintveld , Jun-young Kwak, Rong Yang , Zhengyu Yin , and Milind Tambe . 2011. Two decades of multiagent teamwork research: Past, present, and future . In Collaborative Agents-Research and Development . Springer , 137--151. Matthew E. Taylor, Manish Jain, Christopher Kiekintveld, Jun-young Kwak, Rong Yang, Zhengyu Yin, and Milind Tambe. 2011. Two decades of multiagent teamwork research: Past, present, and future. In Collaborative Agents-Research and Development. Springer, 137--151."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2015.16"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43376-8_11"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.06.003"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25524-8_4"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/990064.990079"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/601858.601861"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2957760"}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3105758","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3105758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:38Z","timestamp":1750217438000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3105758"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,20]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9,30]]}},"alternative-id":["10.1145\/3105758"],"URL":"https:\/\/doi.org\/10.1145\/3105758","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"value":"1556-4665","type":"print"},{"value":"1556-4703","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,20]]},"assertion":[{"value":"2016-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}