{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T13:31:09Z","timestamp":1750944669087,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030150341"},{"type":"electronic","value":"9783030150358"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-15035-8_83","type":"book-chapter","created":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T08:30:46Z","timestamp":1552552246000},"page":"851-859","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Data Dissemination in Vehicular Ad Hoc Network: A Model to Improve Network Congestion"],"prefix":"10.1007","author":[{"given":"Walter","family":"Balzano","sequence":"first","affiliation":[]},{"given":"Silvia","family":"Stranieri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,3,15]]},"reference":[{"key":"83_CR1","unstructured":"R-Project: What is R? \n                    https:\/\/www.r-project.org\/about.html"},{"key":"83_CR2","doi-asserted-by":"crossref","unstructured":"Amato, F., Boselli, R., Cesarini, M., Mercorio, F., Mezzanzanica, M., Moscato, V., Persia, F., Picariello, A.: Challenge: processing web texts for classifying job offers, pp. 460\u2013463 (2015). Cited By 16","DOI":"10.1109\/ICOSC.2015.7050852"},{"key":"83_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.jvlc.2015.10.012","volume":"32","author":"F Amato","year":"2016","unstructured":"Amato, F., Colace, F., Greco, L., Moscato, V., Picariello, A.: Semantic processing of multimedia data for E-government applications. J. Vis. Lang. Comput. 32, 35\u201341 (2016). Cited By 18","journal-title":"J. Vis. Lang. Comput."},{"key":"83_CR4","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.jnca.2017.12.006","volume":"106","author":"F Amato","year":"2018","unstructured":"Amato, F., Mazzocca, N., Moscato, F.: Model driven design and evaluation of security level in orchestrated cloud services. J. Netw. Comput. Appl. 106, 78\u201389 (2018). Cited By 2","journal-title":"J. Netw. Comput. Appl."},{"key":"83_CR5","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.jpdc.2016.12.017","volume":"110","author":"F Amato","year":"2017","unstructured":"Amato, F., Moscato, F.: Model transformations of MapReduce design patterns for automatic development and verification. J. Parallel Distrib. Comput. 110, 52\u201359 (2017). Cited By 3","journal-title":"J. Parallel Distrib. Comput."},{"issue":"3","key":"83_CR6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.3233\/JHS-170568","volume":"23","author":"W Balzano","year":"2017","unstructured":"Balzano, W., Murano, A., Stranieri, S.: Logic-based clustering approach for management and improvement of VANETs. J. High Speed Netw. 23(3), 225\u2013236 (2017)","journal-title":"J. High Speed Netw."},{"key":"83_CR7","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1016\/j.procs.2016.09.084","volume":"98","author":"W Balzano","year":"2016","unstructured":"Balzano, W., Murano, A., Vitale, F.: V2V-EN-vehicle-2-vehicle elastic network. Procedia Comput. Sci. 98, 497\u2013502 (2016)","journal-title":"Procedia Comput. Sci."},{"key":"83_CR8","doi-asserted-by":"crossref","unstructured":"Balzano, W., Murano, A., Vitale, F.: WiFACT-wireless fingerprinting automated continuous training. In: Proceedings of WAINA. IEEE Computer Society (2016)","DOI":"10.1109\/WAINA.2016.137"},{"key":"83_CR9","doi-asserted-by":"crossref","unstructured":"Balzano, W., Del Sorbo, M.R., Murano, A., Stranieri, S.: A logic-based clustering approach for cooperative traffic control systems. In: 3PGCIC. Springer (2016)","DOI":"10.1007\/978-3-319-49109-7_71"},{"key":"83_CR10","doi-asserted-by":"crossref","unstructured":"Balzano, W., Vitale, F.: DiG-Park: a smart parking availability searching method using V2V\/V2I and DGP-class problem. In: Proceedings of WAINA. IEEE Computer Society (2017)","DOI":"10.1109\/WAINA.2017.104"},{"key":"83_CR11","doi-asserted-by":"crossref","unstructured":"Balzano, W., Barbieri, V., Riccardi, G.: Smart priority park framework based on DDGP3. In: 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA), pp. 674\u2013680. IEEE (2018)","DOI":"10.1109\/WAINA.2018.00166"},{"key":"83_CR12","doi-asserted-by":"crossref","unstructured":"Balzano, W., Rosaria, M., Sorbo, D., Stranieri, S.: A logic framework for C2C network management. In: 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), pp. 52\u201357. IEEE (2016)","DOI":"10.1109\/WAINA.2016.138"},{"key":"83_CR13","doi-asserted-by":"crossref","unstructured":"Balzano, W., Formisano, M., Gaudino, L.: WiFiNS: a smart method to improve positioning systems combining WiFi and INS techniques. In: International Conference on Intelligent Interactive Multimedia Systems and Services, pp. 220\u2013231. Springer (2017)","DOI":"10.1007\/978-3-319-59480-4_23"},{"key":"83_CR14","unstructured":"Balzano, W., Murano, A., Vitale, F.: Hypaco\u2013a new model for hybrid paths compression of geodetic tracks. In: The International Conference on Data Compression, Communication, Processing and Security, CCPS 2016 (2016)"},{"issue":"1","key":"83_CR15","doi-asserted-by":"publisher","first-page":"79","DOI":"10.3233\/JHS-170582","volume":"24","author":"W Balzano","year":"2018","unstructured":"Balzano, W., Murano, A., Vitale, F.: SNOT-WiFi: sensor network-optimized training for wireless fingerprinting. J. High Speed Netw. 24(1), 79\u201387 (2018)","journal-title":"J. High Speed Netw."},{"key":"83_CR16","doi-asserted-by":"crossref","unstructured":"Balzano, W., Stranieri, S.: LoDGP: a framework for support traffic information systems based on logic paradigm. In: International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, pp. 700\u2013708. Springer (2017)","DOI":"10.1007\/978-3-319-69835-9_66"},{"key":"83_CR17","doi-asserted-by":"crossref","unstructured":"Balzano, W., Stranieri, S.: Cooperative localization logic schema in vehicular ad hoc networks. In: International Conference on Network-Based Information Systems, pp. 960\u2013969. Springer (2018)","DOI":"10.1007\/978-3-319-98530-5_88"},{"key":"83_CR18","doi-asserted-by":"crossref","unstructured":"Balzano, W., Stranieri, S.: A logic user-based algorithm to improve node distribution in wireless sensor network. In: VLSS 2018. Springer (2018)","DOI":"10.18293\/VLSS2018-031"},{"key":"83_CR19","doi-asserted-by":"crossref","unstructured":"Bansal, G., Cheng, B., Rostami, A., Sjoberg, K., Kenney, J.B., Gruteser, M.: Comparing LIMERIC and DCC approaches for VANET channel congestion control. In: IEEE 6th International Symposium on Wireless Vehicular Communications (WiVeC), pp. 1\u20137. IEEE (2014)","DOI":"10.1109\/WIVEC.2014.6953217"},{"key":"83_CR20","doi-asserted-by":"crossref","unstructured":"Bouassida, M.S., Shawky, M.: On the congestion control within VANET. In: Wireless Days, WD 2008. 1st IFIP, pp. 1\u20135. IEEE (2008)","DOI":"10.1109\/WD.2008.4812915"},{"issue":"4","key":"83_CR21","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1109\/TITS.2004.838180","volume":"5","author":"A Febbraro Di","year":"2004","unstructured":"Di Febbraro, A., Giglio, D., Sacco, N.: Urban traffic control structure based on hybrid petri nets. IEEE Trans. Intell. Transp. Syst. 5(4), 224\u2013237 (2004)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"83_CR22","doi-asserted-by":"crossref","unstructured":"Djahel, S., Ghamri-Doudane, Y.: A robust congestion control scheme for fast and reliable dissemination of safety messages in VANETs. In: Wireless Communications and Networking Conference (WCNC), pp. 2264\u20132269. IEEE (2012)","DOI":"10.1109\/WCNC.2012.6214170"},{"issue":"7","key":"83_CR23","doi-asserted-by":"publisher","first-page":"1139","DOI":"10.1109\/49.103559","volume":"9","author":"HJ Fowler","year":"1991","unstructured":"Fowler, H.J., Leland, W.E., Bellcore, B.: Local area network traffic characteristics, with implications for broadband network congestion management. IEEE J. Sel. Areas Commun. 9(7), 1139\u20131149 (1991)","journal-title":"IEEE J. Sel. Areas Commun."},{"issue":"4","key":"83_CR24","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1109\/TSMCA.2010.2041448","volume":"40","author":"JJ Julvez","year":"2010","unstructured":"Julvez, J.J., Boel, R.K.: A continuous petri net approach for model predictive control of traffic systems. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 40(4), 686\u2013697 (2010)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A Syst. Hum."},{"key":"83_CR25","doi-asserted-by":"crossref","unstructured":"Mughal, B.M., Wagan, A.A., Hasbullah, H.: Efficient congestion control in VANET for safety messaging. In: International Symposium in Information Technology (ITSim), vol. 2, pp. 654\u2013659. IEEE (2010)","DOI":"10.1109\/ITSIM.2010.5561609"},{"key":"83_CR26","doi-asserted-by":"crossref","unstructured":"Murano, A., Perelli, G., Rubin, S.: Multi-agent path planning in known dynamic environments. In: PRIMA 2015. LNCS, vol. 9387, pp. 218\u2013231. Springer (2015)","DOI":"10.1007\/978-3-319-25524-8_14"},{"issue":"4","key":"83_CR27","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"83_CR28","doi-asserted-by":"crossref","unstructured":"Nadeem, T., Shankar, P., Iftode, L.: A comparative study of data dissemination models for VANETs. In: Third Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services, pp. 1\u201310. IEEE (2006)","DOI":"10.1109\/MOBIQ.2006.340402"},{"key":"83_CR29","doi-asserted-by":"crossref","unstructured":"Rubin, S., Zuleger, F., Murano, A., Aminof, B.: Verification of asynchronous mobile-robots in partially-known environments. In: PRIMA 2015. LNCS, vol. 9387, pp. 185\u2013200. Springer (2015)","DOI":"10.1007\/978-3-319-25524-8_12"},{"issue":"2","key":"83_CR30","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1109\/TWC.2010.120610.100079","volume":"10","author":"M Sepulcre","year":"2011","unstructured":"Sepulcre, M., Gozalvez, J., H\u00e4rri, J., Hartenstein, H.: Contextual communications congestion control for cooperative vehicular networks. IEEE Trans. Wirel. Commun. 10(2), 385\u2013389 (2011)","journal-title":"IEEE Trans. Wirel. Commun."},{"key":"83_CR31","doi-asserted-by":"crossref","unstructured":"Tielert, T., Jiang, D., Chen, Q., Delgrossi, L., Hartenstein, H.: Design methodology and evaluation of rate adaptation based congestion control for vehicle safety communications. In: Vehicular Networking Conference (VNC), pp. 116\u2013123. IEEE (2011)","DOI":"10.1109\/VNC.2011.6117132"},{"key":"83_CR32","doi-asserted-by":"publisher","DOI":"10.1002\/047002531X","volume-title":"Network Congestion Control: Managing Internet Traffic","author":"M Welzl","year":"2005","unstructured":"Welzl, M.: Network Congestion Control: Managing Internet Traffic. Wiley, Chichester (2005)"},{"key":"83_CR33","unstructured":"Yang, X., Liu, L., Vaidya, N.H., Zhao, F.: A vehicle-to-vehicle communication protocol for cooperative collision warning. In: The First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, MOBIQUITOUS 2004, pp. 114\u2013123. IEEE (2004)"},{"key":"83_CR34","doi-asserted-by":"crossref","unstructured":"Yousefi, S., Mousavi, M.S., Fathy, M.: Vehicular ad hoc networks (VANETs): challenges and perspectives. In: Proceedings of the 2006 6th International Conference on ITS Telecommunications, pp. 761\u2013766. IEEE (2006)","DOI":"10.1109\/ITST.2006.289012"}],"container-title":["Advances in Intelligent Systems and Computing","Web, Artificial Intelligence and Network Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-15035-8_83","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T02:56:05Z","timestamp":1558148165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-15035-8_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030150341","9783030150358"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-15035-8_83","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"15 March 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WAINA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Workshops of  the International Conference on Advanced Information Networking and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Matsue","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 March 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 March 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"33","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"waina2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/voyager.ce.fit.ac.jp\/conf\/aina\/2019\/workshops.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}