• PDTBR

  • Referenced in 1 article [sw03066]
  • Workflow process definition tool based on reuse -- PDTBR...
  • Proclets

  • Referenced in 4 articles [sw08833]
  • process definition. The process definition describes how a single case (i.e. workflow instance) in isolation ... interacting proclets, i.e. lightweight workflow processes. By promoting interactions to first-class citizens...
  • FlexRecs

  • Referenced in 5 articles [sw14346]
  • framework that decouples the definition of a recommendation process from its execution and supports flexible ... defined declaratively as a high-level parameterized workflow comprising traditional relational operators and new operators...
  • VisualDOC

  • Referenced in 4 articles [sw14222]
  • tool for design process definition, integration, execution, and automation. The design modules included are Optimization ... user to graphically create a connected workflow of components and define each component ... reuse of generated simulation data for post-processing, full debugging support for model execution...
  • CPACS

  • Referenced in 2 articles [sw19915]
  • Aircraft Configuration Schema (CPACS) is a data definition for the air transportation system. CPACS enables ... process information is stored in CPACS. The process information helps in setting up workflows...
  • Proof Pad

  • Referenced in 2 articles [sw29644]
  • while also taking into account the unique workflow of the ACL2 theorem proving system ... user feedback from the outset, and that process continued through all stages of development. Feedback ... automated interpretation of properties as ACL2 theorem definitions...
  • eLBM

  • Referenced in 2 articles [sw31183]
  • multinode general-purpose graphics processing units (GPGPUs). eLBM’s momentum-balance solver is based ... unified implementation and (2) providing comprehensive and definitive quantitative validation results with eLBM in terms ... phase flow simulator for digital rock physics workflows...
  • Mathematica

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

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

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

  • Referenced in 400 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • PNML

  • Referenced in 40 articles [sw03257]
  • PNML framework: An extendable reference implementation of the...
  • SPIN

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

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

  • Referenced in 2523 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Simulink

  • Referenced in 707 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • YAWL

  • Referenced in 60 articles [sw04388]
  • YAWL (Yet Another Workflow Language) is a workflow...
  • LIBSVM

  • Referenced in 1067 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • MCQueue

  • Referenced in 137 articles [sw05198]
  • MCQueue: educational software for Markov Chains and Queues...
  • Maude

  • Referenced in 656 articles [sw06233]
  • Maude is a high-performance reflective language and...