{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:12:35Z","timestamp":1763467955476},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642028458"},{"type":"electronic","value":"9783642028465"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02846-5_24","type":"book-chapter","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T10:44:16Z","timestamp":1248086656000},"page":"265-280","source":"Crossref","is-referenced-by-count":42,"title":["A Language for Large Ensembles of Independently Executing Nodes"],"prefix":"10.1007","author":[{"given":"Michael P.","family":"Ashley-Rollman","sequence":"first","affiliation":[]},{"given":"Peter","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Seth Copen","family":"Goldstein","sequence":"additional","affiliation":[]},{"given":"Padmanabhan","family":"Pillai","sequence":"additional","affiliation":[]},{"given":"Jason D.","family":"Campbell","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Ashley-Rollman, M.P., Goldstein, S.C., Lee, P., Mowry, T.C., Pillai, P.: Meld: A declarative approach to programming ensembles. In: Proc. of the IEEE Int\u2019l Conf. on Intelligent Robots and Systems (October 2007)","DOI":"10.1109\/IROS.2007.4399480"},{"key":"24_CR2","unstructured":"Bachrach, J., McLurkin, J., Grue, A.: Protoswarm: A language for programming multi-robot systems using the amorphous medium abstraction. In: Int\u2019l Conf. in Autonomous Agents and Multiagent Systems (AAMAS) (May 2008)"},{"issue":"2","key":"24_CR3","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MIS.2006.29","volume":"21","author":"J. Beal","year":"2006","unstructured":"Beal, J., Bachrach, J.: Infrastructure for engineered emergence on sensor\/actuator networks. IEEE Intelligent Systems\u00a021(2), 10\u201319 (2006)","journal-title":"IEEE Intelligent Systems"},{"issue":"1","key":"24_CR4","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S. Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about Datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering\u00a01(1), 146\u2013166 (1989)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"24_CR5","unstructured":"Chu, D., Tavakoli, A., Popa, L., Hellerstein, J.: Entirely declarative sensor network systems (2006)"},{"issue":"8","key":"24_CR6","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2004.93","volume":"37","author":"D. Culler","year":"2004","unstructured":"Culler, D., Estrin, D., Srivastava, M.: Guest editors\u2019 introduction: Overview of sensor networks. Computer\u00a037(8), 41\u201349 (2004)","journal-title":"Computer"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"De Rosa, M., Goldstein, S.C., Lee, P., Campbell, J.D., Pillai, P.: Programming modular robots with locally distributed predicates. In: Proc. of the IEEE Int\u2019l Conf. on Robotics and Automation (2008)","DOI":"10.1109\/ROBOT.2008.4543691"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Dewey, D., Srinivasa, S., Ashley-Rollman, M.P., De Rosa, M., Pillai, P., Mowry, T.C., Campbell, J.D., Goldstein, S.C.: Generalizing metamodules to simplify planning in modular robotic systems. In: Proc. of Int\u2019l Conf. on Intelligent Robots and Systems, Nice, France (September 2008)","DOI":"10.1109\/IROS.2008.4651094"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Dewey, D., Srinivasa, S., Ashley-Rollman, M.P., De Rosa, M., Pillai, P., Mowry, T., Campbell, J.D., Goldstein, S.C.: Generalizing metamodules to simplify planning in modular robotic systems. Technical Report CMU-CS-08-139, Carnegie Mellon University (2008)","DOI":"10.1109\/IROS.2008.4651094"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Funiak, S., Ashley-Rollman, M.P., Pillai, P., Campbell, J.D., Goldstein, S.C.: Distributed localization of modular robot ensembles. In: Proc. of the 3rd Robotics Science and Systems (2008)","DOI":"10.7551\/mitpress\/8344.003.0009"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Goldstein, S., Campbell, J., Mowry, T.: Programmable matter. IEEE Computer (June 2005)","DOI":"10.1109\/MC.2005.198"},{"key":"24_CR12","unstructured":"Intel Corporation and Carnegie Mellon University. Dprsim: The dynamic physical rendering simulator (2006), http:\/\/www.pittsburgh.intel-research.net\/dprweb\/"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1145\/1250734.1250757","volume-title":"PLDI 2007: Proc. of the 2007 ACM SIGPLAN conference on Programming language design and implementation","author":"N. Kothari","year":"2007","unstructured":"Kothari, N., Gummadi, R., Millstein, T., Govindan, R.: Reliable and efficient programming abstractions for wireless sensor networks. In: PLDI 2007: Proc. of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pp. 200\u2013210. ACM, New York (2007)"},{"key":"24_CR14","unstructured":"Levis, P.: TinyOS Programming. UC - Berkeley (2006)"},{"key":"24_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/1142473.1142485","volume-title":"Proc. of the 2006 ACM SIGMOD int\u2019l conf. on Management of data","author":"B.T. Loo","year":"2006","unstructured":"Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking: language, execution and optimization. In: Proc. of the 2006 ACM SIGMOD int\u2019l conf. on Management of data, pp. 97\u2013108. ACM Press, New York (2006)"},{"issue":"1","key":"24_CR16","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1145\/1061318.1061322","volume":"30","author":"S.R. Madden","year":"2005","unstructured":"Madden, S.R., Franklin, M.J., Hellerstein, J.M., Hong, W.: Tinydb: an acquisitional query processing system for sensor networks. ACM Trans. Database Syst.\u00a030(1), 122\u2013173 (2005)","journal-title":"ACM Trans. Database Syst."},{"key":"24_CR17","unstructured":"Nagpal, R.: Programmable Self-Assembly: Constructing Global Shape Using Biologically-Inspired Local Interactions and Origami Mathematics. Ph.D thesis, MIT, MIT AI Lab. Technical Memo 2001-008 (2001)"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Newton, R., Morrisett, G., Welsh, M.: The Regiment macroprogramming system. In: Proc. of the Int\u2019l conf. on Information Processing in Sensor Networks (IPSN 2007) (April 2007)","DOI":"10.1109\/IPSN.2007.4379709"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Pfenning, F., Sch\u00fcrmann, C.: System description: Twelf - a meta-logical framework for deductive systems. In: Proc. of Int\u2019l Conf. on Automated Deduction, pp. 202\u2013206 (1999)","DOI":"10.1007\/3-540-48660-7_14"},{"key":"24_CR20","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/990064.990079","volume-title":"Proc. of the 2nd int\u2019l conf. on Mobile systems, applications, and services","author":"K. Whitehouse","year":"2004","unstructured":"Whitehouse, K., Sharp, C., Brewer, E., Culler, D.: Hood: a neighborhood abstraction for sensor networks. In: Proc. of the 2nd int\u2019l conf. on Mobile systems, applications, and services, pp. 99\u2013110. ACM Press, New York (2004)"},{"issue":"1","key":"24_CR21","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/MRA.2007.339623","volume":"14","author":"M. Yim","year":"2007","unstructured":"Yim, M., Shen, W.-M., Salemi, B., Rus, D., Moll, M., Lipson, H., Klavins, E., Chirikjian, G.S.: Modular self-reconfigurable robot systems [grand challenges of robotics]. IEEE Robotics and Automation Magazine\u00a014(1), 43\u201352 (2007)","journal-title":"IEEE Robotics and Automation Magazine"},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-57530-8_13","volume-title":"Deductive and Object-Oriented Databases","author":"C. Zaniolo","year":"1993","unstructured":"Zaniolo, C., Arni, N., Ong, K.: Negation and aggregates in recursive rules: the LDL++ approach. In: Ceri, S., Tsur, S., Tanaka, K. (eds.) DOOD 1993. LNCS, vol.\u00a0760, pp. 204\u2013221. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02846-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T09:46:27Z","timestamp":1710495987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02846-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642028458","9783642028465"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02846-5_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}