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 条
  • [1] Jamming and sensing of encrypted wireless ad hoc networks
    Brown, Timothy X.
    James, Jesse E.
    Sethi, Amita
    Proc. Int. Symp. Mobile Ad Hoc Networking Comput., (120-130):
  • [2] Localized group membership service for ad hoc networks
    SRI International, 333 Ravenswood Avenue, Menlo Park
    CA
    94025, United States
    不详
    10587, Germany
    Proc. Int. Conf. Parallel Process. Workshops, 1600, (94-100):
  • [3] Wireless Vehicular Sensor and Ad Hoc Networks 2015
    Gao, Deyun
    Foh, Chuan Heng
    Seet, Boon-Chong
    Yang, Oliver W. W.
    INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2015,
  • [4] Survey of Adaptive MAC Protocols in Mobile Ad Hoc Networks
    Yan, Tao
    Zhao, Yifan
    Gao, Minghu
    Yang, Lujin
    Zhou, Sida
    Computer Engineering and Applications, 2023, 59 (11) : 46 - 56
  • [5] Minimum power energy spanners in wireless ad hoc networks
    Department of Computer Science, Ben-Gurion University, Beer-Sheva 84105, Israel
    Wireless Networks, 1600, 5 (1251-1258):
  • [6] WNNP-based clustering algorithm for ad hoc networks
    Sha, Yi
    Huang, Ye
    Huang, Li
    Zhang, Li-Li
    Dongbei Daxue Xuebao/Journal of Northeastern University, 2011, 32 (09): : 1233 - 1236
  • [7] Prediction based Link stability scheme for mobile Ad hoc networks
    Nair, Geetha
    Muniraj, N.J.R.
    International Journal of Computer Science Issues, 2012, 9 (6-3): : 401 - 408
  • [8] Realistic individual mobility Markovian models for Mobile Ad hoc Networks
    Campos, Carlos Alberto V.
    Otero, Daniel C.
    De Moraes, Luis Felipe M.
    2004 IEEE Wireless Commun. Networking Conf., 2004, (1980-1985):
  • [9] On increasing end-to-end throughput in wireless ad hoc networks
    Li, Zongpeng
    Li, Baochun
    Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, Qshine 2005, 2005, 2005
  • [10] Performance comparison of SCTP and UDP over mobile Ad Hoc networks
    School of Computing, Universiti Utara Malaysia UUM Sintok, 06010 Kedah, Malaysia
    不详
    Int. J. Comput. Sci. Issues, 4 4-2 (443-448):
12345