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 条
  • [41] WiOpt 2010 - 8th Intl. Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks: Editorial
    Stanczak, Slawomir
    WiOpt 2010 - 8th Intl. Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, 2010,
  • [42] Ad Hoc Network Authentication: A Jini-based Approach
    Needham, D.M.
    McMahon, M.M.
    Datko, J.B.
    Proc. Int. Conf. Wireless Netw., (549-553):
  • [43] Distributed Database Systems in Vehicular Ad-hoc Network
    Janech J.
    Baca T.
    Communications - Scientific Letters of the University of Žilina, 2010, 12 (3 A): : 50 - 54
  • [44] Congestion adaptive travel planning for vehicular ad hoc network
    School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, China
    Int. J. Digit. Content Technol. Appl., 15 (493-501):
  • [45] Behavior of ad hoc routing protocols in multi service traffic
    Choukri, Ali
    Habbani, Ahmed
    Elkoutbi, Mohammed
    Journal of Theoretical and Applied Information Technology, 2012, 43 (02) : 208 - 213
  • [46] Energy aware reliable routing protocol (EARRP) for mobile ad hoc networks using bee foraging behavior and ant colony optimization
    Santhiya, K.G.
    Arumugam, N.
    International Journal of Computer Science Issues, 2012, 9 (02): : 171 - 175
  • [47] Optimization in the Ad Hoc On-Demand Distance Vector Routing Protocol
    Siddesh, G. K.
    Gowda, C. P. Mallikarjuna
    Shashidhara, H. R.
    Shet, K. Sathish
    Raj, K. Shashi
    Arunarashmi, V
    Chaithanya, S.
    Latha, B. N.
    Teressa, Dawit Mamiru
    WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2022, 2022
  • [48] Performance of a Jini-based Ad Hoc Network Authentication Scheme
    McMahon, M.M.
    Needham, D.M.
    Datko, J.B.
    ISCA Int. Conf. Parallel Distrib. Comput. Syst., PDCS, 1600, (442-447):
  • [49] A scheme encouraging mobile nodes to forward packets via multiple wireless links aggregating system between the internet and mobile ad hoc networks
    Ito, Yosuke
    Mineno, Hiroshi
    Ishihara, Susumu
    Lect. Notes Comput. Sci., (110-123):
  • [50] An energy entropy multipath routing protocol and performance evaluation for Ad Hoc network
    Sun, Bao-Lin
    Gui, Chao
    Jia, Yu-Fu
    Dongbei Daxue Xuebao/Journal of Northeastern University, 2010, 31 (SUPPL. 2): : 258 - 261
12345