{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T21:40:04Z","timestamp":1745185204880,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642346903"},{"type":"electronic","value":"9783642346910"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34691-0_17","type":"book-chapter","created":{"date-parts":[[2012,11,14]],"date-time":"2012-11-14T09:10:35Z","timestamp":1352884235000},"page":"231-246","source":"Crossref","is-referenced-by-count":4,"title":["Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution"],"prefix":"10.1007","author":[{"given":"Akihito","family":"Hiromori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takaaki","family":"Umedu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hirozumi","family":"Yamaguchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teruo","family":"Higashino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Artimy, M.M., Robertson, W., Phillips, W.J.: Assignment of Dynamic Transmission Range Based on Estimation of Vehicle Density. In: Proc. of 2nd ACM Int. Workshop on Vehicular Ad Hoc Networks (VANET 2005), pp. 40\u201348 (2005)","key":"17_CR1","DOI":"10.1145\/1080754.1080761"},{"doi-asserted-by":"crossref","unstructured":"Le Boudec, J.Y., Vojnovic, M.: Perfect Simulation and Stationarity of a Class of Mobility Models. In: Proc. of 24th Int. Conf. of the IEEE Computer and Communications Societies (INFOCOM 2005), pp. 2743\u20132754 (2005)","key":"17_CR2","DOI":"10.1109\/INFCOM.2005.1498557"},{"issue":"5","key":"17_CR3","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1002\/wcm.72","volume":"2","author":"T. Camp","year":"2002","unstructured":"Camp, T., Boleng, J., Davies, V.: A Survey of Mobility Models for Ad Hoc Network Research. Wireless Comm. and Mobile Computing\u00a02(5), 483\u2013502 (2002)","journal-title":"Wireless Comm. and Mobile Computing"},{"doi-asserted-by":"crossref","unstructured":"Carneiro, A., Maag, S., Zaidi, F.: One Step Forward: Linking Wireless Self-Organizing Network Validation Techniques with Formal Testing Approaches. ACM Computing Surveys\u00a043(2) (2011)","key":"17_CR4","DOI":"10.1145\/1883612.1883614"},{"issue":"10","key":"17_CR5","doi-asserted-by":"publisher","first-page":"914","DOI":"10.1016\/j.comcom.2004.01.003","volume":"27","author":"T. Chu","year":"2004","unstructured":"Chu, T., Nikolaidis, I.: Node Density and Connectivity Properties of the Random Waypoint Model. Computer Communications\u00a027(10), 914\u2013922 (2004)","journal-title":"Computer Communications"},{"unstructured":"Halati, A., Lieu, H., Walker, S.: CORSIM-corridor Traffic Simulation Model. In: Traffic Congestion and Traffic Safety in the 21st Century: Challenges, Innovations, and Opportunities, pp. 570\u2013576 (1997)","key":"17_CR6"},{"doi-asserted-by":"crossref","unstructured":"Khelil, A., Becker, C., Tian, J., Rothermel, K.: An Epidemic Model for Information Diffusion in MANETs. In: Proc. of 5th ACM Int. Workshop on Modeling Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2002), pp. 54\u201360 (2002)","key":"17_CR7","DOI":"10.1145\/570758.570768"},{"key":"17_CR8","first-page":"34","volume":"1","author":"S. Maag","year":"2007","unstructured":"Maag, S., Zaidi, F.: A Step-wise Validation Approach for a Wireless Routing Protocol. Posts, Telecomm. Inform. Tech. J.\u00a01, 34\u201340 (2007)","journal-title":"Posts, Telecomm. Inform. Tech. J."},{"issue":"1","key":"17_CR9","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.adhoc.2008.01.002","volume":"7","author":"K. Maeda","year":"2009","unstructured":"Maeda, K., Uchiyama, A., Umedu, T., Yamaguchi, H., Yasumoto, K., Higashino, T.: Urban Pedestrian Mobility for Mobile Wireless Network Simulation. Ad Hoc Networks\u00a07(1), 153\u2013170 (2009)","journal-title":"Ad Hoc Networks"},{"doi-asserted-by":"crossref","unstructured":"Nakamura, M., Urabe, H., Uchiyama, A., Umedu, T., Higashino, T.: Realistic Mobility Aware Information Gathering in Disaster Areas. In: Proc. of IEEE Wireless Communications and Networking Conf. (WCNC 2008), pp. 3267\u20133272 (2008)","key":"17_CR10","DOI":"10.1109\/WCNC.2008.570"},{"doi-asserted-by":"crossref","unstructured":"Perkins, C.E., Royer, E., Das, S.: Ad Hoc On-demand Distance Vector (AODV). Request for Comments\u00a03561 (2003)","key":"17_CR11","DOI":"10.17487\/rfc3561"},{"issue":"8","key":"17_CR12","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1016\/0305-0548(94)00070-O","volume":"22","author":"W.L. Pearn","year":"1995","unstructured":"Pearn, W.L., Wu, T.C.: Algorithms for the Rural Postman Problem. Computers & Operations Research\u00a022(8), 819\u2013828 (1995)","journal-title":"Computers & Operations Research"},{"unstructured":"Quadstone Paramics: Paramics, http:\/\/www.paramics-online.com\/","key":"17_CR13"},{"doi-asserted-by":"crossref","unstructured":"Rojas, A., Branch, P., Armitage, G.: Experimental Validation of the Random Waypoint Mobility Model through a Real World Mobility Trace for Large Geographical Areas. In: Proc. of ACM\/IEEE Int. Symp. on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2005), pp. 174\u2013177 (2005)","key":"17_CR14","DOI":"10.1145\/1089444.1089474"},{"doi-asserted-by":"crossref","unstructured":"Royer, E.M., Melliar-Smith, P.M., Moser, L.E.: An Analysis of the Optimum Node Density for Ad Hoc Mobile Networks. In: Proc. of IEEE Int. Conf. on Communications (ICC 2001), pp. 857\u2013861 (2001)","key":"17_CR15","DOI":"10.1109\/ICC.2001.937360"},{"issue":"3","key":"17_CR16","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1109\/TITS.2007.902650","volume":"8","author":"M. Saito","year":"2007","unstructured":"Saito, M., Tsukamoto, J., Umedu, T., Higashino, T.: Design and Evaluation of Inter-Vehicle Dissemination Protocol for Propagation of Preceding Traffic Information. IEEE Trans. on Intelligent Transportation Systems\u00a08(3), 379\u2013390 (2007)","journal-title":"IEEE Trans. on Intelligent Transportation Systems"},{"issue":"11","key":"17_CR17","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1109\/MCOM.2008.4689256","volume":"46","author":"C. Sommer","year":"2008","unstructured":"Sommer, C., Dressler, F.: Progressing Towards Realistic Mobility Models in VANET Simulations. IEEE Comm. Magazine\u00a046(11), 132\u2013137 (2008)","journal-title":"IEEE Comm. Magazine"},{"doi-asserted-by":"crossref","unstructured":"Tracy, T., Jeff, B., Vanessa, D.: A Survey of Mobility Models for Ad Hoc Network Research. Wireless Comm. & Mobile Computing (WCMC)\u00a02(5) (2002)","key":"17_CR18","DOI":"10.1002\/wcm.72"},{"issue":"2","key":"17_CR19","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1109\/TVT.2009.2035041","volume":"59","author":"T. Umedu","year":"2010","unstructured":"Umedu, T., Isu, K., Higashino, T., Toh, C.K.: An Inter-vehicular Communication Protocol for Distributed Detection of Dangerous Vehicles. IEEE Trans. on Vehicular Technology\u00a059(2), 627\u2013637 (2010)","journal-title":"IEEE Trans. on Vehicular Technology"},{"doi-asserted-by":"crossref","unstructured":"Ueno, E., Hiromori, A., Yamaguchi, H., Higashino, T.: A Simple Mobility Model Realizing Designated Node Distributions and Natural Node Movement. In: Proc. of 8th IEEE Int. Conf. on Mobile Ad-hoc and Sensor Systems (MASS 2011), pp. 302\u2013311 (2011)","key":"17_CR20","DOI":"10.1109\/MASS.2011.37"},{"unstructured":"PTV: VISSIM, http:\/\/www.ptv-vision.com\/","key":"17_CR21"},{"issue":"1","key":"17_CR22","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.entcs.2004.07.009","volume":"119","author":"I. Zakkuidin","year":"2005","unstructured":"Zakkuidin, I., Hawkins, T., Moffat, N.: Towards a Game Theoretic Understanding of Ad Hoc Routing. Electron. Notes Theoretical Computer Sciences\u00a0119(1), 67\u201392 (2005)","journal-title":"Electron. Notes Theoretical Computer Sciences"},{"doi-asserted-by":"crossref","unstructured":"Zhang, X., Kurose, J., Levine, B.N., Towsley, D., Zhang, H.: Study of a Bus-based Disruption-Tolerant Network: Mobility Modeling and Impact on Routing. In: Proc. of ACM Int. Conf. on Mobile Computing and Networking (MobiCom 2007), pp. 195\u2013206 (2007)","key":"17_CR23","DOI":"10.1145\/1287853.1287876"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34691-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T21:19:16Z","timestamp":1745183956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34691-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642346903","9783642346910"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34691-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}