{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:29Z","timestamp":1750307429046,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,17]],"date-time":"2010-10-17T00:00:00Z","timestamp":1287273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,10,17]]},"DOI":"10.1145\/1868521.1868531","type":"proceedings-article","created":{"date-parts":[[2010,10,19]],"date-time":"2010-10-19T12:41:35Z","timestamp":1287492095000},"page":"49-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Simulating and testing mobile wireless sensor networks"],"prefix":"10.1145","author":[{"given":"David J.","family":"Anthony","sequence":"first","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, NE, USA"}]},{"given":"William P.","family":"Bennett","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, NE, USA"}]},{"given":"Mehmet C.","family":"Vuran","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, NE, USA"}]},{"given":"Matthew B.","family":"Dwyer","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, NE, USA"}]},{"given":"Sebastian","family":"Elbaum","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, NE, USA"}]},{"given":"Felipe","family":"Chavez-Ramirez","sequence":"additional","affiliation":[{"name":"Whooping Crane Maintenance Trust, Wood River, NE, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Crossbow technology. http:\/\/www.xbow.com.  Crossbow technology. http:\/\/www.xbow.com."},{"key":"e_1_3_2_1_2_1","unstructured":"The network simulator - ns-2. http:\/\/www.isi.edu\/nsnam\/ns\/index.html.  The network simulator - ns-2. http:\/\/www.isi.edu\/nsnam\/ns\/index.html."},{"key":"e_1_3_2_1_3_1","volume-title":"Aug.","author":"Module ARIS","year":"2010","unstructured":"u-blox ANT ARIS 4 GPS Module . http:\/\/www.u-blox.com\/ , Aug. 2010 . u-blox ANTARIS 4 GPS Module. http:\/\/www.u-blox.com\/, Aug. 2010."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2005.01.004"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2006.04.003"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337194"},{"key":"e_1_3_2_1_7_1","unstructured":"E. Bodden. J-LO - A tool for runtime-checking temporal assertions. http:\/\/www.bodden.de\/pubs\/bodden05jlo.pdf 2005. Diploma Thesis RWTH Aachen University.  E. Bodden. J-LO - A tool for runtime-checking temporal assertions. http:\/\/www.bodden.de\/pubs\/bodden05jlo.pdf 2005. Diploma Thesis RWTH Aachen University."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69134-1_43"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compag.2009.01.004"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.12"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"e_1_3_2_1_13_1","volume-title":"AspeCt-oriented C Language Specification","author":"Gong W.","year":"2008","unstructured":"W. Gong and H.-A. Jacobsen . AspeCt-oriented C Language Specification . Middleware Systems Research Group , University of Toronto, Toronto, CA, 0.8 edition, January 2008 . W. Gong and H.-A. Jacobsen. AspeCt-oriented C Language Specification. Middleware Systems Research Group, University of Toronto, Toronto, CA, 0.8 edition, January 2008."},{"key":"e_1_3_2_1_14_1","volume-title":"Aerial radio-tracking of Whooping Cranes migrating between Wood Buffalo National Park and Aransas National Wildlife Refuge","author":"Kuyt E.","year":"1981","unstructured":"E. Kuyt . Aerial radio-tracking of Whooping Cranes migrating between Wood Buffalo National Park and Aransas National Wildlife Refuge , 1981 --1984. Technical report, Canadian Wildlife Service , 1992. E. Kuyt. Aerial radio-tracking of Whooping Cranes migrating between Wood Buffalo National Park and Aransas National Wildlife Refuge, 1981--1984. Technical report, Canadian Wildlife Service, 1992."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOFTCOM.2008.4669506"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/958491.958506"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1644038.1644105"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791234"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646777.706037"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294921.1294925"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809111.1809123"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/332833.332838"},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. Dagstuhl Seminar 07011, number 07011 in Dagstuhl Seminar Proceedings","author":"Sokolsky O.","year":"2008","unstructured":"O. Sokolsky , U. Sammapun , J. Regehr , and I. Lee . Runtime Verification for Wireless Sensor Network Applications. In B. Finkbeiner, K. Havelund, G. Rosu, and O. Sokolsky, editors , Proc. Dagstuhl Seminar 07011, number 07011 in Dagstuhl Seminar Proceedings , Dagstuhl, Germany , August 2008 . Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany. O. Sokolsky, U. Sammapun, J. Regehr, and I. Lee. Runtime Verification for Wireless Sensor Network Applications. In B. Finkbeiner, K. Havelund, G. Rosu, and O. Sokolsky, editors, Proc. Dagstuhl Seminar 07011, number 07011 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, August 2008. Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany."},{"volume-title":"Whooping cranes sighted in record numbers","author":"Unrau J.","key":"e_1_3_2_1_24_1","unstructured":"J. Unrau . Whooping cranes sighted in record numbers . http:\/\/www.theglobeandmail.com\/news\/technology\/science\/article804129.ece, 12 2007. Retrieved 2007-12-17. J. Unrau. Whooping cranes sighted in record numbers. http:\/\/www.theglobeandmail.com\/news\/technology\/science\/article804129.ece, 12 2007. Retrieved 2007-12-17."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278972.1278996"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1031495.1031522"}],"event":{"name":"MSWiM '10: The 13th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Bodrum Turkey","acronym":"MSWiM '10"},"container-title":["Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868521.1868531","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1868521.1868531","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:52Z","timestamp":1750246792000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868521.1868531"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,17]]},"references-count":26,"alternative-id":["10.1145\/1868521.1868531","10.1145\/1868521"],"URL":"https:\/\/doi.org\/10.1145\/1868521.1868531","relation":{},"subject":[],"published":{"date-parts":[[2010,10,17]]},"assertion":[{"value":"2010-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}