- Referenced in 49 articles
- Wireless sensor networks will be widely deployed in the near future. While much research ... evidence of data freshness. µTESLA provides authenticated broadcast for severely resource-constrained environments. We implemented...
- Referenced in 1 article
- power-conserving multicast and broadcast algorithms in static wireless ad hoc networks...
- Referenced in 1835 articles
- Coq is a formal proof management system. It...
- Referenced in 6112 articles
- Almost any workflow involves computing results, and that...
- Referenced in 420 articles
- Produced by experts for use in a variety...
- Referenced in 130 articles
- Algorithm 754: Fortran subroutines for approximate solution of...
- Referenced in 10 articles
- The conception and characteristics of data Link 16...
- Referenced in 7 articles
- AHBP: An efficient broadcast protocol for mobile ad...
- Referenced in 3 articles
- PCBA: A priority-based competitive broadcasting algorithm in...
- Referenced in 24 articles
- Routing information protocol in HOL/SPIN We provide a...
- Referenced in 2641 articles
- IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
- Referenced in 403 articles
- The COMSOL Multiphysics engineering simulation software environment facilitates...
- Referenced in 330 articles
- HyTech is an automatic tool for the analysis...
- Referenced in 65 articles
- OMNeT++ is an extensible, modular, component-based C...
- Referenced in 516 articles
- LINPACK is a collection of Fortran subroutines that...
- Referenced in 546 articles
- LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
- Referenced in 639 articles
- Uppaal is an integrated tool environment for modeling...
- Referenced in 1047 articles
- The Vehicle Routing Problem (VRP) is one of...
- Referenced in 162 articles
- MPI / MPICH Message Passing Interface MPI is the...
- Referenced in 675 articles
- Maude is a high-performance reflective language and...