{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:40:58Z","timestamp":1725871258636},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319470740"},{"type":"electronic","value":"9783319470757"}],"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-47075-7_34","type":"book-chapter","created":{"date-parts":[[2016,11,17]],"date-time":"2016-11-17T07:50:05Z","timestamp":1479369005000},"page":"307-312","source":"Crossref","is-referenced-by-count":0,"title":["DESAL $$^\\beta $$ : A Framework For Implementing Self-stabilizing Embedded Network Applications"],"prefix":"10.1007","author":[{"given":"Yangyang","family":"He","sequence":"first","affiliation":[]},{"given":"Yuheng","family":"Du","sequence":"additional","affiliation":[]},{"given":"Shiree","family":"Hughes","sequence":"additional","affiliation":[]},{"given":"Jiannan","family":"Zhai","sequence":"additional","affiliation":[]},{"given":"Jason O.","family":"Hallstrom","sequence":"additional","affiliation":[]},{"given":"Nigamanth","family":"Sridhar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,18]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Dalton, A.R., et al.: $$Desal^\\alpha $$ : an implementation of the dynamic embedded sensor-actuator language. In: Proceedings of the ICCCN 2008, vol. 8 (2008)","DOI":"10.1109\/ICCCN.2008.ECP.108"},{"issue":"3","key":"34_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/1317103.1317108","volume":"4","author":"A Arora","year":"2007","unstructured":"Arora, A., et al.: A state-based language for sensor-actuator networks. ACM SIGBED Rev. 4(3), 25\u201330 (2007)","journal-title":"ACM SIGBED Rev."},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Hill, J., et al.: System architecture directions for networked sensors. In: Proceedings of the ASPLOS IX, pp. 93\u2013104 (2000)","DOI":"10.1145\/378993.379006"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Dunkels, A., et al.: Contiki - a lightweight and flexible operating system for tiny networked sensors. In: Proceedings of the LCN 2004, pp. 455\u2013462, November 2004","DOI":"10.1109\/LCN.2004.38"},{"issue":"4","key":"34_CR5","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1007\/s11036-005-1567-8","volume":"10","author":"S Bhatti","year":"2005","unstructured":"Bhatti, S., et al.: Mantis OS: an embedded multithreaded operating system for wireless micro sensor platforms. Mob. Netw. Appl. 10(4), 563\u2013579 (2005)","journal-title":"Mob. Netw. Appl."},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Gay, D., et al.: The nesC language: a holistic approach to networked embedded systems. In: Proceedings of the PLDI 2003, pp. 1\u201311 (2003)","DOI":"10.1145\/781131.781133"},{"issue":"1","key":"34_CR7","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1145\/1061318.1061322","volume":"30","author":"SR Madden","year":"2005","unstructured":"Madden, S.R., et al.: TinyDB: an acquisitional query processing system for sensor networks. ACM Trans. Database Syst. 30(1), 122\u2013173 (2005)","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"34_CR8","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/601858.601861","volume":"31","author":"Y Yao","year":"2002","unstructured":"Yao, Y., Gehrke, J.: The cougar approach to in-network query processing in sensor networks. SIGMOD Rec. 31(3), 9\u201318 (2002)","journal-title":"SIGMOD Rec."},{"key":"34_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/11502593_12","volume-title":"Distributed Computing in Sensor Systems","author":"R Gummadi","year":"2005","unstructured":"Gummadi, R., Gnawali, O., Govindan, R.: Macro-programming wireless sensor networks using Kairos. In: Prasanna, V.K., Iyengar, S.S., Spirakis, P.G., Welsh, M. (eds.) DCOSS 2005. LNCS, vol. 3560, pp. 126\u2013140. Springer, Heidelberg (2005)"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Newton, R., et al.: The regiment macroprogramming system. In: Proceedings of the IPSN 2007, pp. 489\u2013498. ACM, New York (2007)","DOI":"10.1109\/IPSN.2007.4379709"},{"key":"34_CR11","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-540-92666-5_6","volume-title":"Kommunikation in Verteilten Systemen (KiVS)","author":"C Weyer","year":"2009","unstructured":"Weyer, C., Turau, V.: SelfWISE: a framework for developing self-stabilizing algorithms. In: David, K., Geihs, K. (eds.) Kommunikation in Verteilten Systemen (KiVS), pp. 67\u201378. Springer, Heidelberg (2009)"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"Osterlind, F., et al.: Cross-level sensor network simulation with COOJA. In: Proceedings of the LCN 2006, pp. 641\u2013648, November 2006","DOI":"10.1109\/LCN.2006.322172"},{"key":"34_CR13","unstructured":"NESCC. linux.die.net\/man\/1\/nescc"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Dalton, A., et al.: A testbed for visualizing sensornet behavior. In: Proceedings of the ICCCN 2008, pp. 1\u20137, August 2008","DOI":"10.1109\/ICCCN.2008.ECP.104"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Mar\u00f3ti, M., et al.: The flooding time synchronization protocol. In: Proceedings of the SenSys 2004, pp. 39\u201349. ACM (2004)","DOI":"10.1145\/1031495.1031501"},{"key":"34_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-24723-4_6","volume-title":"Compiler Construction","author":"S McPeak","year":"2004","unstructured":"McPeak, S., Necula, G.C.: Elkhound: a fast, practical GLR parser generator. In: Duesterwald, E. (ed.) CC 2004. LNCS, vol. 2985, pp. 73\u201388. Springer, Heidelberg (2004)"},{"issue":"5\u20136","key":"34_CR17","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1016\/S0898-1221(03)90143-X","volume":"46","author":"SM Hedetniemi","year":"2003","unstructured":"Hedetniemi, S.M., et al.: Self-stabilizing algorithms for minimal dominating sets and maximal independent sets. Comput. Math. Appl. 46(5\u20136), 805\u2013811 (2003)","journal-title":"Comput. Math. Appl."},{"key":"34_CR18","doi-asserted-by":"crossref","unstructured":"Goddard, W., et al.: Self-stabilizing protocols for maximal matching and maximal independent sets for ad hoc networks. In: Proceedings of the IPDPS 2003, p. 14. IEEE (2003)","DOI":"10.1109\/IPDPS.2003.1213302"},{"key":"34_CR19","unstructured":"Mahafzah, M.H.: An efficient graph-coloring algorithm for processor allocation. Int. J. Comput. Inf. Technol. 02(1) (2013)"},{"key":"34_CR20","volume-title":"Computers and Intractability","author":"DS Johnson","year":"1979","unstructured":"Johnson, D.S., Garey, M.R.: Computers and Intractability. Freeman, New York (1979)"},{"key":"34_CR21","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0020-0190(03)00299-0","volume":"87","author":"ST Hedetniemi","year":"2003","unstructured":"Hedetniemi, S.T., et al.: Linear time self-stabilizaing colorings. Inf. Process. Lett. 87, 251\u2013255 (2003)","journal-title":"Inf. Process. Lett."},{"key":"34_CR22","unstructured":"Moteiv. Tmote sky (2005). http:\/\/www.eecs.harvard.edu\/~konrad\/projects\/shimmer\/references\/tmote-sky-datasheet.pdf"},{"key":"34_CR23","unstructured":"Levis, P.: Experiences from a decade of tinyos development. In: Proceedings of the OSDI 2012, pp. 207\u2013220. USENIX, Berkeley (2012)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Internet of Things. IoT Infrastructures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47075-7_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T19:33:44Z","timestamp":1692560024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47075-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319470740","9783319470757"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47075-7_34","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2016]]}}}