Research ArticleOpen accessIn the author namesFORMAL VERIFICATION OF SAFETY MESSAGE DISSEMINATION PROTOCOL FOR VANETSM. A. Berlin, Sheila AnandThis paper presents a formal verification of a safety message dissemination protocol used in vehicular ad-hoc networks. It is proposed to use Road Side Units to broadcast road hazard information to vehicles travelling on highways. Quick dissemination of road hazard information, like road blocks, slippery roads and other obstacles can help to prevent road accidents and improve passenger safety. Formal … …Journal of Computer Science, Vol. 9, Issue 8 · 9 Jul 2013 · 6,860 accessesView PDFCite
Research ArticleOpen accessIn the author namesMulticast-Supported Fast Handover for Proxy Mobile IPv6V. Berlin Hency, D. SridharanProxy Mobile IPv6 is a network-based mobility management protocol which is attractive as it does not require the participation of mobile nodes in mobility-related signaling. Unlike the host based approaches like Mobile IPv6, in PMIPv6 the Mobility Access Gateway (MAG) is responsible for tracking the movements of Mobile Node (MN) and to initiate the handover process. In this study, a … …Journal of Computer Science, Vol. 9, Issue 3 · 27 Apr 2013 · 6,309 accessesView PDFCite
Research ArticleOpen accessIn the author namesKernel Density Estimation for Interdeparture Time of GI/G/1 QueuesHsing Luh, Berlin WuThe departure process of a single queue has been studied since the 1960s. Due to its inherent complexity, closed form solutions for the distribution of the departure process are nearly intractable. In this study, kernel type estimators of the density of interdeparture time in a GI/G/1 queue are studied. Uniform strong consistency of the estimators in a GI/G/1 queue and … …Journal of Mathematics and Statistics, Vol. 1, Issue 1 · 31 Mar 2005 · 6,589 accessesView PDFCite
Research ArticleOpen accessIn the abstractSemSimp: A Parametric Method for Evaluating the Semantic Similarity of Digital ResourcesAntonio De Nicola, Anna Formica, Ida Mele, Francesco TaglinoAbioui, H., Idarrou, A., Bouzit, A., & Mammass, D. (2018). Towards a Novel and Generic Approach for OWL Ontology Weighting. Procedia Computer Science, 127, 426–435. https://doi.org/10.1016/j.procs.2018.01.140 Adhikari, A., Dutta, B., Dutta, A., Mondal, D., & Singh, S. (2018). An intrinsic information content-based semantic similarity measure considering the disjoint common subsumers of concepts of an ontology. Journal of the Association for … …Journal of Computer Science, Vol. 20, Issue 8 · 27 May 2024 · 5,778 accessesView PDFCite
Research ArticleOpen accessIn the abstractThe Solution to Some Hypersingular Integral EquationsAlexander G. RammGel’fand, I. M., & Shilov, G. E. (1964). Generalized Functions. Volume I: Properties and Operations (1st ed., Vol. 1). Academic Press. Hörmander, L. (1998). The Analysis of Linear Partial Differential Operators I (1st ed.). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-96750-4 Ramm, A. G. (2022). The Navier-Stokes Problem (2nd ed.). Springer Nature. Ramm, A. G. (2023). Analysis of the Navier-Stokes problem (2nd ed.). … …Journal of Mathematics and Statistics, Vol. 20, Issue 1 · 25 May 2024 · 5,686 accessesView PDFCite