{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:25:22Z","timestamp":1725542722582},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642115271"},{"type":"electronic","value":"9783642115288"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-11528-8_12","type":"book-chapter","created":{"date-parts":[[2009,12,21]],"date-time":"2009-12-21T14:52:25Z","timestamp":1261407145000},"page":"158-173","source":"Crossref","is-referenced-by-count":5,"title":["ProSe: A Programming Tool for Rapid Prototyping of Sensor Networks"],"prefix":"10.1007","author":[{"given":"Mahesh","family":"Arumugam","sequence":"first","affiliation":[]},{"given":"Sandeep S.","family":"Kulkarni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Arumugam, M., Kulkarni, S.S.: Prose - a programming tool for rapid prototyping of sensor networks. Poster at the Conference on Sensor, Mesh, and Ad Hoc Communications and Networks, SECON (2007)","DOI":"10.1109\/SAHCN.2007.4292882"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., Culler, D.: The nesC language: A holistic approach to networked embedded systems. In: Programming Language Design and Implementation (PLDI) (June 2003)","DOI":"10.1145\/781131.781133"},{"key":"12_CR3","unstructured":"Adya, A., Howell, J., Theimer, M., Bolosky, W.J., Douceur, J.R.: Cooperative task management without manual stack management or, event driven programming is not the opposite of threaded programming. In: USENIX Annual Technical Conference (June 2002)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Dunkels, A., Schmidt, O., Voigt, T., Ali, M.: Protothreads: Simplifying event-driven programming of memory-constrained embedded systems. In: Fourth ACM Conference on Embedded Networked Sensor Systems (SenSys) (November 2006)","DOI":"10.1145\/1182807.1182811"},{"key":"12_CR5","unstructured":"Kasten, O., R\u00f6mer, K.: Beyond event handlers: Programming sensor networks with attributed state machines. In: Fourth Internation Conference on Information Processing in Sensor Networks (IPSN) (April 2005)"},{"issue":"5","key":"12_CR6","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/635508.605407","volume":"36","author":"P. Levis","year":"2002","unstructured":"Levis, P., Culler, D.: Mat\u00e9: A tiny virtual machine for sensor networks. ACM SIGOPS Operating Systems Review\u00a036(5), 85\u201395 (2002)","journal-title":"ACM SIGOPS Operating Systems Review"},{"issue":"4","key":"12_CR7","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MPRV.2003.1251169","volume":"2","author":"J. Liu","year":"2003","unstructured":"Liu, J., Chu, M., Liu, J., Reich, J., Zhao, F.: State-centric programming for sensor-actuator network systems. Pervasive Computing\u00a02(4), 50\u201362 (2003)","journal-title":"Pervasive Computing"},{"key":"12_CR8","unstructured":"Welsh, M., Mainland, G.: Programming sensor networks using abstract regions. In: Networked Systems Design and Implementation, NSDI (2004)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Newton, R., Welsh, M.: Region streams: Functional macroprogramming for sensor networks. In: Workshop on Data Management for Sensor Networks (2004)","DOI":"10.1145\/1052199.1052213"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Newton, R., Arvind, Welsh, M.: Building up to macroprogramming: An intermediate language for sensor networks. In: International Conference on Information Processing in Sensor Networks (IPSN) (April 2005)","DOI":"10.1109\/IPSN.2005.1440891"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11669463_4","volume-title":"Wireless Sensor Networks","author":"K. Whitehouse","year":"2006","unstructured":"Whitehouse, K., Zhao, F., Liu, J.: Semantic streams: A framework for composable semantic interpretation of sensor data. In: R\u00f6mer, K., Karl, H., Mattern, F. (eds.) EWSN 2006. LNCS, vol.\u00a03868, pp. 5\u201320. Springer, Heidelberg (2006)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.\u00a03560, pp. 126\u2013140. Springer, Heidelberg (2005)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Kothari, N., Gummadi, R., Millstein, T., Govindan, R.: Reliable and efficient programming abstractions for wireless sensor networks. In: Programming Language Design and Implementation, PLDI (2007)","DOI":"10.1145\/1250734.1250757"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Brown, M., Gilbert, S., Lynch, N., Newport, C., Nolte, T., Spindel, M.: The virtual node layer: A programming abstraction for wireless sensor networks. In: International Workshop on Wireless Sensor Network Architecture (April 2007)","DOI":"10.1145\/1317103.1317105"},{"key":"12_CR15","unstructured":"Sen, S., Cardell-Oliver, R.: A rule-based language for programming wireless sensor actuator networks using frequence and communication. In: Workshop on Embedded Networked Sensors (EmNets) (May 2006)"},{"key":"12_CR16","unstructured":"Terfloth, K., Wittenburg, G., Schiller, J.: Rule-oriented programming for wireless sensor networks. In: Conference on Distributed Computing in Sensor Networks (2006)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Arora, A., Gouda, M., Hallstrom, J., Herman, T., Leal, B., Sridhar, N.: A state-based language for sensor-actuator networks. In: International Workshop on Wireless Sensor Network Architecture (April 2007)","DOI":"10.1145\/1317103.1317108"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Tavakoli, A., Chu, D., Hellerstein, J., Levis, P., Shenker, S.: A declarative sensornet architecture. In: Workshop on Wireless Sensor Network Architecture (2007)","DOI":"10.1145\/1317103.1317113"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Demirbas, M., Soysal, O., Hussain, M.: TRANSACT: A transactional framework for programming wireless sensor\/actor networks. In: International Conference on Information Processing in Sensor Networks (April 2008)","DOI":"10.1109\/IPSN.2008.44"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Abdelzaher, T., et al.: EnviroTrack: Towards an environmental computing paradigm for distributed sensor networks. In: International Conference on Distributed Computing Systems (ICDCS) (March 2004)","DOI":"10.1109\/ICDCS.2004.1281625"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Greenstein, B., Kohler, E., Estrin, D.: A sensor network application construction kit (SNACK). In: Conference on Embedded Networked Sensing Systems (2004)","DOI":"10.1145\/1031495.1031505"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Buonadonna, P., Gay, D., Hellerstein, J., Hong, W., Madden, S.: TASK: Sensor network in a box. In: European Workshop on Wireless Sensor Networks (2005)","DOI":"10.1109\/EWSN.2005.1462005"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Madden, S., Franklin, M., Hellerstein, J., Hong, W.: TinyDB: An acquisitional query processing system for sensor networks. ACM Transactions on Database Systems, TODS (2005)","DOI":"10.1145\/1061318.1061322"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Hull, B., Bychkovsky, V., Chen, K., Goraczko, M., Miu, A., Shih, E., Zhang, Y., Balakrishnan, H., Madden, S.: CarTel: A distributed mobile sensor computing system. In: ACM Conference on Embedded Networked Sensor Systems, SenSys (2006)","DOI":"10.1145\/1182807.1182821"},{"issue":"2","key":"12_CR25","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/j.comcom.2005.05.016","volume":"29","author":"S.S. Kulkarni","year":"2006","unstructured":"Kulkarni, S.S., Arumugam, M.: Transformations for write-all-with-collision model. Computer Communications (Elsevier)\u00a029(2), 183\u2013199 (2006)","journal-title":"Computer Communications (Elsevier)"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Herman, T.: Models of self-stabilization and sensor networks. In: Workshop on Distributed Computing (2003)","DOI":"10.1007\/978-3-540-24604-6_20"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Communications of the ACM\u00a017(11) (1974)","DOI":"10.1145\/361179.361202"},{"issue":"5","key":"12_CR28","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker Spin. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR29","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1997","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall PTR, Englewood Cliffs (1997)"},{"key":"12_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-540-89335-6_4","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"M. Arumugam","year":"2008","unstructured":"Arumugam, M.: A distributed and deterministic TDMA algorithm for write-all-with-collision model. In: Kulkarni, S., Schiper, A. (eds.) SSS 2008. LNCS, vol.\u00a05340, pp. 4\u201318. Springer, Heidelberg (2008)"},{"key":"12_CR31","doi-asserted-by":"publisher","first-page":"403","DOI":"10.2514\/1.19952","volume":"3","author":"M. Arumugam","year":"2006","unstructured":"Arumugam, M., Kulkarni, S.S.: Self-stabilizing deterministic time division multiple access for sensor networks. AIAA Journal of Aerospace Computing, Information, and Communication (JACIC)\u00a03, 403\u2013419 (2006)","journal-title":"AIAA Journal of Aerospace Computing, Information, and Communication (JACIC)"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Kulkarni, S.S., Arumugam, M.: SS-TDMA: A self-stabilizing mac for sensor networks. In: Sensor Network Operations. Wiley-IEEE Press (2006)","DOI":"10.21236\/ADA455715"},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"Whitehouse, K., Sharp, C., Brewer, E., Culler, D.: Hood: A neighborhood abstraction for sensor networks. In: ACM International Conference on Mobile Systems, Applications, and Services (MobiSys) (June 2004)","DOI":"10.1145\/990064.990079"},{"key":"12_CR34","unstructured":"Arumugam, M.: Rapid prototyping and quick deployment of sensor networks. PhD thesis, Michigan State University (2006)"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Gouda, M.G., McGuire, T.M.: Accelerated heartbeat protocols. In: International Confernece on Distributed Computing Systems, ICDCS (1998)","DOI":"10.1109\/ICDCS.1998.679503"},{"key":"12_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-49823-0_4","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"M. Arumugam","year":"2006","unstructured":"Arumugam, M., Wang, L., Kulkarni, S.S.: A case study on prototyping power management protocols for sensor networks. In: Datta, A.K., Gradinariu, M. (eds.) SSS 2006. LNCS, vol.\u00a04280, pp. 50\u201364. Springer, Heidelberg (2006)"},{"key":"12_CR37","doi-asserted-by":"publisher","first-page":"214","DOI":"10.2514\/1.20102","volume":"3","author":"Y.-R. Choi","year":"2006","unstructured":"Choi, Y.-R., Gouda, M.G., Zhang, H., Arora, A.: Stabilization of grid routing in sensor networks. AIAA Journal of Aerospace Computing, Information, and Communication (JACIC)\u00a03, 214\u2013233 (2006)","journal-title":"AIAA Journal of Aerospace Computing, Information, and Communication (JACIC)"},{"key":"12_CR38","doi-asserted-by":"crossref","unstructured":"Woo, A., Culler, D.: Taming the challenges of reliable multihop routing in sensor networks. In: Conference on Embedded Networked Sensing Systems (2003)","DOI":"10.1145\/958491.958494"},{"key":"12_CR39","doi-asserted-by":"crossref","unstructured":"Levis, P., Lee, N., Welsh, M., Culler, D.: TOSSIM: Accurate and scalable simulation of entire tinyOS applications. In: First International Conference on Embedded Networed Sensor Systems (SenSys), November 2003, pp. 126\u2013137 (2003)","DOI":"10.1145\/958491.958506"},{"key":"12_CR40","unstructured":"Ganesan, D., Krishnamachari, B., Woo, A., Culler, D., Estrin, D., Wicker, S.: An empirical study of epidemic algorithms in large scale multihop wireless networks. Technical Report IRB-TR-02-003, Intel Research (March 2002)"},{"key":"12_CR41","doi-asserted-by":"crossref","unstructured":"Zuniga, M., Krishnamachari, B.: Analyzing the transitional region in low power wireless links. In: Conference on Sensor and Ad hoc Communications and Networks (2004)","DOI":"10.1109\/SAHCN.2004.1381954"},{"key":"12_CR42","doi-asserted-by":"crossref","unstructured":"Demirbas, M., Arora, A., Gouda, M.: Pursuer-evader tracking in sensor networks. In: Sensor Network Operations. Wiley-IEEE Press (May 2006)","DOI":"10.1002\/9780471784173.ch9"},{"key":"12_CR43","doi-asserted-by":"crossref","unstructured":"Kothari, N., Millstein, T., Govindan, R.: Deriving state machines from TinyOS programs using symbolic execution. In: Seventh Conference on Information Processing in Sensor Networks, IPSN (2008)","DOI":"10.1109\/IPSN.2008.62"},{"key":"12_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/11795490_20","volume-title":"Principles of Distributed Systems","author":"M.G. Gouda","year":"2006","unstructured":"Gouda, M.G., Choi, Y.-R.: A state-based model for sensor protocols. In: Anderson, J.H., Prencipe, G., Wattenhofer, R. (eds.) OPODIS 2005. LNCS, vol.\u00a03974, pp. 246\u2013260. Springer, Heidelberg (2006)"},{"issue":"5","key":"12_CR45","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/s10009-008-0083-0","volume":"10","author":"A. Ebnenasir","year":"2008","unstructured":"Ebnenasir, A., Kulkarni, S.S., Arora, A.: FTSyn: A framework for automatic synthesis of fault-tolerance. International Journal of Software Tools for Technology Transfer (STTT)\u00a010(5), 455\u2013471 (2008)","journal-title":"International Journal of Software Tools for Technology Transfer (STTT)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Sensor Systems and Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11528-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T17:33:00Z","timestamp":1558719180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11528-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642115271","9783642115288"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11528-8_12","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2010]]}}}