Parameterized verification of ad hoc networks

被引：0
|
作者：
University of Genova, Italy [1 ]
不详 [2 ]
机构：
来源：
Lect. Notes Comput. Sci. | / 313-327期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Ad hoc networks
引用
收藏
相关论文
共 50 条
  • [21] A mesh-based routing protocol for wireless ad-hoc sensor networks
    Faculty of Electrical and Computer Engineering, Shahid Beheshti University, Iran
    不详
    Bell Canada; IEEE ComSoc Vancouver Local Chapter, 1600, 115-120 (2006):
  • [22] Side channel monitoring: Packet drop attack detection in wireless ad hoc networks
    Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, ON N2L 3G1, Canada
    IEEE Int Conf Commun, 2011,
  • [23] Sensor positioning in wireless ad-hoc sensor networks using multidimensional scaling
    Ji, Xiang
    Zha, Hongyuan
    Proc IEEE INFOCOM, (2652-2661):
  • [24] Reducing Congestion in Obstructed Highways with Traffic Data Dissemination Using Ad hoc Vehicular Networks
    Hewer, Thomas D.
    Nekovee, Maziar
    Coveney, Peter V.
    EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, 2010,
  • [25] Birthday protocols for low energy deployment and flexible neighbor discovery in ad hoc wireless networks
    McGlynn, Michael J.
    Borbash, Steven A.
    Proceedings of the 2001 ACM International Symposium on Mobile Ad Hoc Networking and Computing: MobiHoc 2001, 2001, : 137 - 145
  • [26] Energy aware and trust based cluster head selection for ad-hoc sensor networks
    Wei, Zhe (findwei@foxmail.com), 2018, Femto Technique Co., Ltd. (20)
  • [27] A Time Slot Reservation in Modified TDMA-Based Ad Hoc Networks with Directional Antennas
    Li, Yuan
    Sun, Baolin
    Luo, Xing
    Xiong, Naixue
    INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2013,
  • [28] Qos based analysis of proxied adaptive gateway discovery scheme for mobile ad hoc networks
    Palani, K.
    Ramamoorthy, P.
    International Journal of Computer Science Issues, 2012, 9 (3 3-3): : 401 - 408
  • [29] Traffic information collecting algorithms for road selection decision support in vehicle ad hoc networks
    Li, Demin
    Li, Qiuran
    Wang, Jiacun
    International Journal of Simulation and Process Modelling, 2012, 7 (1-2): : 50 - 56
  • [30] Providing a dynamic milk-run vehicle routing using vehicular ad hoc networks
    Adriano, Daniel D.
    Novaes, Antonio G.N.
    Wangham, Michelle S.
    DIVANet 2019 - Proceedings of the 9th ACM Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications, 2019, : 31 - 38
12345