{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T19:46:45Z","timestamp":1693856805163},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,5,4]],"date-time":"2006-05-04T00:00:00Z","timestamp":1146700800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mobile Netw Appl"],"published-print":{"date-parts":[[2006,8]]},"DOI":"10.1007\/s11036-006-7194-1","type":"journal-article","created":{"date-parts":[[2006,5,13]],"date-time":"2006-05-13T10:08:08Z","timestamp":1147514888000},"page":"469-485","source":"Crossref","is-referenced-by-count":18,"title":["Platform based design for wireless sensor networks"],"prefix":"10.1007","volume":"11","author":[{"given":"Alvise","family":"Bonivento","sequence":"first","affiliation":[]},{"given":"Luca P.","family":"Carloni","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,4]]},"reference":[{"key":"7194_CR1","doi-asserted-by":"crossref","unstructured":"D. Snoonian, Smart buildings, IEEE Spectrum (Sept.2003) 18\u201323.","DOI":"10.1109\/MSPEC.2003.1222043"},{"key":"7194_CR2","unstructured":"J. Rabaey, E. Arens, C. Federspiel, A. Gadgil, D. Messerschmitt, W. Nazaroff, K. Pister, S. Oren and P. Varaiya, Smart energy distribution and consumption information technology as an enabling force, white paper, http:\/\/citris.berkeley.edu\/SmartEnergy\/SmartEnergy.html."},{"key":"7194_CR3","unstructured":"G. Huang, Casting the wire, Technology Review July\/August (2003) 50\u201356."},{"key":"7194_CR4","unstructured":"F. Boekhorst, Ambient intelligence: The next paradigm for consumer electronics, in: Proceedings IEEE ISSCC 2002 (San Francisco, February 2002)."},{"key":"7194_CR5","unstructured":"IEEE 802.15 WPAN Task Group 4 (TG4), http: \/\/www.ieee802.org\/15\/pub\/TG4.html"},{"key":"7194_CR6","unstructured":"The Zigbee Alliance, http:\/\/www.zigbee.org"},{"key":"7194_CR7","unstructured":"M. Sgroi, Adam Wolisz, Alberto Sangiovanni-Vincentelli and Jan M. Rabaey, A service-based universal application interface for ad-hoc wireless sensor networks whitepaper, U.C. Berkeley, (2004)."},{"key":"7194_CR8","unstructured":"A. Sangiovanni-Vincentelli and A. Ferrari, System design\u2014Traditional concepts and new paradigms, in: Proceedings of ICCD 99, Austin, (October 1999), pp. 2\u201312."},{"key":"7194_CR9","doi-asserted-by":"crossref","unstructured":"A.L. Sangiovanni-Vincentelli, L. Carloni, F. De Bernardinis and M. Sgroi, Benefits and challenges for platform-based design, in: Proceedings of the Design Automation Conference (DAC\u201904) San Diego, CA, USA, (June 2004).","DOI":"10.1145\/996566.996684"},{"key":"7194_CR10","unstructured":"S. Madden, The design and evaluation of a query processing architecture for sensor networks, Ph.D. Dissertation, UC Berkeley (2003)."},{"key":"7194_CR11","doi-asserted-by":"crossref","unstructured":"W. Adije-Winoto, E. Schwartz, H. Balakrishnan and J. Lilley, The design and implementation of an intentional naming system, in: Proceedings of Symposium on Operating Systems Principles (Dec. 1999).","DOI":"10.1145\/319151.319164"},{"key":"7194_CR12","doi-asserted-by":"crossref","unstructured":"C. Intanagonwiwat, R. Govindan and D. Estrin, Directed diffusion: A scalable and robust communication paradigm for sensor networks, in: Proceedings of the Sixth Annual International Conference on Mobile Computing and Networks (MobiCom 2000), Boston, Massachusetts, (August 2000).","DOI":"10.1145\/345910.345920"},{"key":"7194_CR13","unstructured":"P. V. Mockapetris and K. Dunlap, Development of the Domain Name System, in: Proceedings of SIGCOMM\u201988 (Stanford, CA, 1988)."},{"key":"7194_CR14","unstructured":"D. Mills, Internet time synchronization: The network time protocol, in: Global States and Times in Distributed Systems IEEE Computer Society Press, (1994)."},{"key":"7194_CR15","unstructured":"IEEE 1452.2, Standard for a smart transducer interface for sensors and actuators\u2013-transducer to microprocessor communication protocols and transducer electronic data sheet (TEDS) formats, IEEE (1997)."},{"key":"7194_CR16","doi-asserted-by":"crossref","unstructured":"D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer and D. Culler, The nesC language: A holistic approach to networked embedded systems, in: Proceedings of Programming Language Design and Implementation (PLDI) 2003 (June 2003).","DOI":"10.1145\/781132.781133"},{"key":"7194_CR17","doi-asserted-by":"crossref","unstructured":"P. Levis, N. Lee, M. Weksh and D. Culler, TOSSIM: Accurate and scalable simulation of entire TinyOS application, SENSYS 03 (2003).","DOI":"10.1145\/958491.958506"},{"key":"7194_CR18","unstructured":"J. Hill and D. Culler, Mica: A wireless platform for deeply embedded networks, IEEE Micro 22(6) (2002) 12\u201324."},{"key":"7194_CR19","unstructured":"A. Varga, The OMNeT++ discrete event simulation system, in: European Simulation Multiconference (June 2001)."},{"key":"7194_CR20","unstructured":"P. Baldwin, S. Kohli, E.A. Lee, X. Liu and Y. Zhao, Visualsense: Visual modeling for wireless and sensor network systems, UCB ERL Memorandum UCB\/ERL M04\/8 (April 23, 2004)."},{"key":"7194_CR21","unstructured":"http:\/\/ptolemy.eecs.berkeley.edu"},{"key":"7194_CR22","unstructured":"Y. Yu, B. Hong and V.K. Prasanna, Communication models for algorithm design in wireless sensor networks, IPDPS\u201905 (2005)."},{"key":"7194_CR23","doi-asserted-by":"crossref","unstructured":"A. Bakshi and V.K. Prasanna, Algorithm design and synthesis for wireless sensor networks, ICPP\u201904 (2004).","DOI":"10.1109\/ICPP.2004.1327951"},{"key":"7194_CR24","unstructured":"A. Bonivento, C. Fischione and A. Sangiovanni-Vincentelli, Randomized protocol stack for ubiquitous networks in indoor environment, in: CCNC (2006)."},{"key":"7194_CR25","unstructured":"J. Rabaey et\u00a0al., PicoRadios for wirless sensor networks: The next challenge in ultra-low-power design, in: ISSCC 2002, (Feb. 2002)."},{"key":"7194_CR26","doi-asserted-by":"crossref","unstructured":"J. Kahn, R. Katz and K. Pister, Next century challenges: Mobile networking for smart dust, MobiCom (1999).","DOI":"10.1145\/313451.313558"},{"key":"7194_CR27","doi-asserted-by":"crossref","unstructured":"F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone and A. Sangiovanni-Vincentelli, Metropolis: An integrated electronic system design environment, [Journal Paper] Computer 36, (4) (2003) pp. 45\u201352 Publisher: IEEE Comput. Soc, USA.","DOI":"10.1109\/MC.2003.1193228"},{"key":"7194_CR28","doi-asserted-by":"crossref","unstructured":"J.R. Burch, R. Passerone and A.L. Sangiovanni-Vincentelli, Using multiple levels of abstractions, in: Embedded Software Design Proceedings of the second International Conference on Application of Concurrency to System Design (June 2001).","DOI":"10.1007\/3-540-45449-7_23"},{"key":"7194_CR29","unstructured":"G. Kahn, The semantics of a simple language for parallel programming, in: Proc. of the IFIP Congress 74 North-Holland Pub, (1974)."},{"key":"7194_CR30","unstructured":"G. Kahn and D.B. MacQueen, Coroutines and networks of parallel processes,in B. Gilchrist (ed.), Information Processing 77,North-Holland Publishing Co., (1977)."},{"key":"7194_CR31","unstructured":"H.M. Taylor and S. Karlin, An Introduction to Stochastic Modeling, Third Edition Academic Press, (1998)."},{"key":"7194_CR32","doi-asserted-by":"crossref","unstructured":"E.A. Lee and A. Sangiovanni-Vincentelli, A framework for comparing models of computation, IEEE Transactions on CAD 17(12) (1998).","DOI":"10.1109\/43.736561"},{"key":"7194_CR33","doi-asserted-by":"crossref","unstructured":"J. Misra, Distributed discrete-event simulation, ACM Computing Surveys 18(1) (1986) 39\u201365.","DOI":"10.1145\/6462.6485"},{"key":"7194_CR34","doi-asserted-by":"crossref","unstructured":"A. Bonivento, L.P. Carloni and A. Sangiovanni-Vincentelli, Rialto: A bridge between description and implementation of control algorithms for wireless sensor networks, in: Proc. of EMSOFT 2005 (Jersey City, NJ, USA, Sept. 2005).","DOI":"10.1145\/1086228.1086262"},{"key":"7194_CR35","unstructured":"A. Bonivento, C. Fischione, A. Sangiovanni-Vincentelli, F. Graziosi and F. Santucci, SERAN: A semi random protocol solution for clustered wireless sensor networks, To appear in: Proc. of MASS 2005 Washington D.C., USA, (Nov. 2005)."},{"key":"7194_CR36","doi-asserted-by":"crossref","unstructured":"Wei Ye, John Heidemann and Deborah Estrin, Medium access control with coordinated adaptive sleeping for wireless sensor networks, IEEE\/ACM Transactions on Networking 12(3) (2004) 493\u2013506.","DOI":"10.1109\/TNET.2004.828953"},{"key":"7194_CR37","doi-asserted-by":"crossref","unstructured":"J. Polastre, J. Hill and D. Culler, Versatile low power media access for wireless sensor networks, Sensys (2004).","DOI":"10.1145\/1031495.1031508"},{"key":"7194_CR38","unstructured":"T.S. Rappaport, Wireless Communications (Prentice Hall, Upper Saddle River NJ, 1996)."}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-006-7194-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11036-006-7194-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-006-7194-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:15:59Z","timestamp":1559344559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11036-006-7194-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,4]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,8]]}},"alternative-id":["7194"],"URL":"https:\/\/doi.org\/10.1007\/s11036-006-7194-1","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"value":"1383-469X","type":"print"},{"value":"1572-8153","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,5,4]]}}}