• arulesNBMiner

  • Referenced in 4 articles [sw07325]
  • model-based frequency constraint for mining associations from transaction data. Data Mining and Knowledge Discovery...
  • MIRROR

  • Referenced in 4 articles [sw02280]
  • function of the states of the distributed transactions involved in the conflict. A feature ... design is that acquiring the state knowledge does not require inter-site communication or synchronization ... phase commit protocol. Using a detailed simulation model, we compare MIRROR’s performance against ... concurrency control protocols for a range of transaction workloads and system configurations. Our performance studies...
  • SeVe

  • Referenced in 2 articles [sw06547]
  • electronic voting systems or anonymous online transactions. In this paper, we introduce a framework ... labeled transition system (LTS) semantics model, which embeds the knowledge of the participants and parameterizes...
  • Coq

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

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

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

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

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

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

  • Referenced in 1675 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • TELOS

  • Referenced in 21 articles [sw00954]
  • TELOS: a customer satisfaction evaluation software. Telos is...
  • COBOL

  • Referenced in 233 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
  • Klava

  • Referenced in 19 articles [sw01243]
  • Klava: a Java package for distributed and mobile...
  • Ada95

  • Referenced in 289 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • GOLOG

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

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

  • Referenced in 620 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Haskell

  • Referenced in 851 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Eiffel

  • Referenced in 290 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...