• eHIP

  • Referenced in 4 articles [sw01490]
  • delivered data is indispensable for security-sensitive Wireless Sensor Networks (WSN). Unfortunately, conventional security approaches ... proposed hybrid security system, called energy-efficient Hybrid Intrusion Prohibition (eHIP) system, combines intrusion prevention ... secure Cluster-based WSN (CWSN). The eHIP system consists of Authentication-based Intrusion Prevention ... customized according to the relative importance of information contained in control messages and sensed data...
  • DaProS

  • Referenced in 2 articles [sw12755]
  • begun to use advanced technologies such as wireless sensor networks and robotic trams equipped with ... order to not lose valuable time and information. Performing such evaluations requires scientists to rely ... well-defined methodology for sharing information and appropriate tool support. This work presents the Data ... knowledge about data processes in remote sensing systems through the use of decision trees...
  • ARfit

  • Referenced in 38 articles [sw00046]
  • ARfit is a collection of Matlab modules for...
  • Coq

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

  • Referenced in 200 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • gmp

  • Referenced in 274 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • KNITRO

  • Referenced in 182 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Mathematica

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

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

  • Referenced in 420 articles [sw00610]
  • Produced by experts for use in a variety...
  • NCTUns

  • Referenced in 8 articles [sw00612]
  • This paper presents the design and implementation of...
  • R

  • Referenced in 8873 articles [sw00771]
  • R is a language and environment for statistical...
  • TSPLIB

  • Referenced in 676 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • SCIP

  • Referenced in 486 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • PRISM

  • Referenced in 424 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ML

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

  • Referenced in 267 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • PISA

  • Referenced in 61 articles [sw01397]
  • PISA consists of two parts: PISA is a...