{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:18:14Z","timestamp":1742393894417},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540363217"},{"type":"electronic","value":"9783540363224"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11795490_20","type":"book-chapter","created":{"date-parts":[[2007,1,23]],"date-time":"2007-01-23T07:25:18Z","timestamp":1169537118000},"page":"246-260","source":"Crossref","is-referenced-by-count":3,"title":["A State-Based Model of Sensor Protocols"],"prefix":"10.1007","author":[{"given":"Mohamed G.","family":"Gouda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Young-ri","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"20_CR1","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1016\/j.comnet.2004.06.007","volume":"46","author":"A. Arora","year":"2004","unstructured":"Arora, A., Dutta, P., Bapat, S., Kulathumani, V., Zhang, H., Naik, V., Mittal, V., Cao, H., Demirbas, M., Gouda, M., Choi, Y., Herman, T., Kulkarni, S., Arumugam, U., Nesterenko, M., Vora, A., Miyashita, M.: A Line in the Sand: A Wireless Sensor Network for Target Detection, Classification, and Tracking. Computer Networks (Elsevier), Special Issue on Military Communications Systems and Technologies\u00a046(5), 605\u2013634 (2004)","journal-title":"Computer Networks (Elsevier), Special Issue on Military Communications Systems and Technologies"},{"issue":"4","key":"20_CR2","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S1389-1286(01)00302-4","volume":"38","author":"I.F. Akyildiz","year":"2002","unstructured":"Akyildiz, I.F., Su, W., Sankarasubramaniam, Y., Cayirci, E.: Wireless Sensor Networks: A Survey. Computer Networks, Elsevier Science\u00a038(4), 393\u2013422 (2002)","journal-title":"Computer Networks, Elsevier Science"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Mainwaring, A., Polastre, J., Culler, R., Anderson, J.: Wireless Sensor Networks for Habitat Monitoring. In: Proceedings of the ACM International Workshop on Wireless Sensor Networks and Applications (WSNA 2002), Atlanta, GA (2002)","DOI":"10.1145\/570738.570751"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Liu, J., Chu, M., Liu, J., Reich, J., Zhao, F.: State-Centric Programming for Sensor-Actuator Network Systems. Pervasive Computing, 50\u201362 (2003)","DOI":"10.1109\/MPRV.2003.1251169"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Abdelzaher, T., Blum, B., Cao, Q., Chen, Y., Evans, D., George, J., George, S., Gu, L., He, T., Krishnamurthy, S., Luo, L., Son, S., Stankovic, J., Stoleru, R., Wood, A.: EnvioTrack: Towards an Environmental Computing Paradigm for Distributed Sensor Networks. In: Proceedings of the 24th International Conference on Distributed Computing Systems, Tokyo, Japan (2004)","DOI":"10.1109\/ICDCS.2004.1281625"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Newton, R., Welsh, M.: Region Streams: Functional Macroprogramming for Sensor Networks. In: International Workshop on Data Management for Sensor Networks, DMSN (VLDB 2004) (2004)","DOI":"10.1145\/1052199.1052213"},{"issue":"Winter","key":"20_CR7","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/844128.844142","volume":"36","author":"S. Madden","year":"2002","unstructured":"Madden, S., Franklin, M.J., Hellerstein, J.M., Hong, W.: TAG: a Tiny AGgregation service for ad-hoc sensor networks. ACM SIGOPS Operating Systems Review\u00a036(Winter), 131\u2013146 (2002)","journal-title":"ACM SIGOPS Operating Systems Review"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Choi, Y., Gouda, M.G., Kim, M.C., Arora, A.: The Mote Connectivity Protocol. In: Proceedings of 12th International Conference on Computer Communications and Networks (ICCCN 2003), Dallas, TX, pp. 533\u2013538 (2003)","DOI":"10.1109\/ICCCN.2003.1284220"},{"key":"20_CR9","unstructured":"Wireless Embedded Systems, http:\/\/webs.cs.berkeley.edu\/"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Woo, A., Tony, T., Culler, D.: Taming the Underlying Challenges of Reliable Multihop Routing in Sensor Networks. In: Proceedings of ACM SenSys, Los Angeles, CA (2003)","DOI":"10.1145\/958491.958494"},{"key":"20_CR11","unstructured":"Cerpa, A., Busek, N., Estrin, D.: SCALE: A tool for Simple Connectivity Assessment in Lossy Environments. CENS Technical Report 21 (2003)"},{"key":"20_CR12","unstructured":"Gouda, M., Choi, Y.: A State-based Model of Sensor Protocols. Technical Report TR-05-46, Department of Computer Sciences, The University of Texas at Austin (2005)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Levis, P., Culler, D.: Mat\u00e9: A Tiny Virtual Machine for Sensor Networks. In: International Conference on Architectural Support for Programming Languages and Operating Systems (2002)","DOI":"10.1145\/605406.605407"},{"key":"20_CR14","volume-title":"Elements of Network Protocol Design","author":"M.G. Gouda","year":"1998","unstructured":"Gouda, M.G.: Elements of Network Protocol Design. John Wiley and Sons, Inc., New York (1998)"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Gracanin, D., Eltoweissy, M., Olariu, S., Wadaa, A.: On Modeling Wireless Sensor Networks. In: Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004) (2004)","DOI":"10.1109\/IPDPS.2004.1303257"},{"issue":"1-2","key":"20_CR16","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.scico.2004.11.012","volume":"56","author":"P. Volgyesi","year":"2005","unstructured":"Volgyesi, P., Maroti, M., Dora, S., Osses, E., Ledeczi, A., Paka, T.: Software Composition and Verification for Sensor Networks. Science of Computer Programming\u00a056(1-2), 191\u2013210 (2005)","journal-title":"Science of Computer Programming"},{"key":"20_CR17","volume-title":"Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks","author":"M. Gouda","year":"2005","unstructured":"Gouda, M., Choi, Y., Arora, A.: Antireplay Protocols for Sensor Networks. In: Wu, J. (ed.) Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks. CRC Press, Boca Raton (2005)"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Levis, P., Lee, N., Welsh, M., Culler, D.: TOSSIM: Accurate and Scalable Simulation of Entire TinyOS Applications. In: Proceedings of the First ACM Conference on Embedded Networked Sensor Systems (SenSys 2003) (2003)","DOI":"10.1145\/958491.958506"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Simon, G., Volgyesi, P., Maroti, M., Ledeczi, A.: Simulation-based optimization of communication protocols for large-scale wireless sensor networks. In: Proceedings of the IEEE Aerospace Conference (2003)","DOI":"10.1109\/AERO.2003.1235250"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Downey, P., Cardell-Oliver, R.: Evaluating the Impact of Limited Resource on Performance of Flooding in Wireless Sensor Networks. In: Proceedings of the International Conference on Dependable Systems and Networks, Florence (2004)","DOI":"10.1109\/DSN.2004.1311949"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11795490_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T18:59:40Z","timestamp":1556045980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11795490_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540363217","9783540363224"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11795490_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}