• AntHocNet

  • Referenced in 15 articles [sw28057]
  • inspired algorithm for routing in mobile ad hoc networks. In this paper, we describe AntHocNet ... algorithm for routing in mobile ad hoc networks. It is a hybrid algorithm, which combines ... possible network scenarios, and increases for larger, sparser and more mobile networks...
  • AHBP

  • Referenced in 7 articles [sw02704]
  • efficient broadcast protocol for mobile ad hoc networks Broadcast is an important operation in many ... routes to unknown nodes in mobile ad hoc networks (MANETs) and is the key factor...
  • PCBA

  • Referenced in 3 articles [sw02708]
  • based competitive broadcasting algorithm in mobile ad hoc networks. Broadcasting operations are of great importance ... mobile ad hoc networks since they are frequently executed. A straightforward broadcasting by flooding will...
  • AODV

  • Referenced in 4 articles [sw29232]
  • allows the nodes in a Mobile Ad hoc Network (MANET) or a Wireless Mesh Network...
  • AWN

  • Referenced in 2 articles [sw29233]
  • modelling and analysing protocols for Mobile Ad hoc Networks (MANETs) and Wireless Mesh Networks (WMNs...
  • FDAN

  • Referenced in 1 article [sw02083]
  • FDAN: failure detection protocol for mobile ad hoc networks This work deals with fault tolerance ... distributed MANET (Mobile Ad hoc Networks) systems. However, the major issue for a failure detection...
  • MoVES

  • Referenced in 3 articles [sw01357]
  • simulation of wireless vehicular ad hoc networks. We illustrate a Mobile Wireless Vehicular Environment Simulation ... distributed simulation of vehicular wireless ad hoc networks (VANETs). The proposed framework supports extensible, module ... vehicular scenarios integrated with wireless communication and mobile services/applications. The vehicular layer includes models...
  • wRebeca

  • Referenced in 1 article [sw29269]
  • modeling and verification of Mobile Ad Hoc Networks (MANETs). It is supported by the tool...
  • CNPGSDP

  • Referenced in 2 articles [sw02563]
  • service discovery protocol for Mobile Ad-Hoc Networks (MANETs): Candidate Node Pruning enhanced Group-based...
  • CoCoWa

  • Referenced in 1 article [sw21874]
  • Watchdog for Detecting Selfish Nodes. Mobile ad-hoc networks (MANETs) assume that mobile nodes voluntary...
  • Coq

  • Referenced in 1751 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 598 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Mathematica

  • Referenced in 5703 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11496 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • ML

  • Referenced in 502 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Impromptu

  • Referenced in 8 articles [sw01293]
  • Recent research advances in the field of reflective...
  • Me-services

  • Referenced in 8 articles [sw01399]
  • Me-services: A framework for secure & personalized discovery...
  • eHIP

  • Referenced in 4 articles [sw01490]
  • eHIP: An energy-efficient hybrid intrusion prohibition system...
  • LeZi-update

  • Referenced in 18 articles [sw01541]
  • LeZi-update: An information-theoretic framework for personal...