• MDBAS

  • Referenced in 1 article [sw02430]
  • possibilities in developing distributed applications. We used mobile agents for building a prototype ... query processing. Additionally, a unique feature of MDBAS is the capability to transparently manage mobile...
  • ApLeaf

  • Referenced in 1 article [sw14332]
  • this paper, an Android-based mobile application designed to automatically identify plant species according ... untextured background without other clutter. The identification process consists of three steps: leaf image segmentation ... several species which match the query leaf image the best, as well as the textual...
  • Theia

  • Referenced in 0 articles [sw22813]
  • make and model of the mobile camera that produced a given image. For this ... forensic analyst that has to mass process and analyze thousands of images in the fastest ... analyst, such as different types of advanced queries on Exif metadata information of large sets...
  • CGAL

  • Referenced in 344 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

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

  • Referenced in 240 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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

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

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

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

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

  • Referenced in 177 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • WordNet

  • Referenced in 384 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • SafeDpi

  • Referenced in 13 articles [sw01989]
  • SafeDpi: A language for controlling mobile code safeDpi...
  • GOLOG

  • Referenced in 169 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • GRAQULA

  • Referenced in 2 articles [sw02637]
  • GRAQULA: A graphical query language for entity-relationship...
  • BRITE

  • Referenced in 32 articles [sw03098]
  • BRITE: A Flexible Generator of Internet Topologies. Abstract...
  • SPIN

  • Referenced in 699 articles [sw03455]
  • Spin is a popular open-source software tool...