• SNAP

  • Referenced in 19 articles [sw09647]
  • resources to discover, reserve, acquire, configure, and monitor resources. Current resource management approaches tend ... SNAP can be deployed within the context of the Globus Toolkit...
  • RCTdesign

  • Referenced in 0 articles [sw19244]
  • illustrate trial design and monitoring in the context of a group sequential survival trial...
  • Skybox

  • Referenced in 1 article [sw22312]
  • services every day. With unparalleled visibility and context-aware intelligence of the attack surface, Skybox ... threat management, firewall management and continuous compliance monitoring. Established in 2002, Skybox is a privately...
  • GlyCulator

  • Referenced in 1 article [sw28059]
  • addressed through the use of continuous glucose monitoring, which continuously estimates glycemia based on interstitial ... glycemic pattern can be analyzed in context of its direction, periodicity, and amplitude. As freely ... glucose variability parameters from continuous glucose monitoring data...
  • onlinePCA

  • Referenced in 3 articles [sw21315]
  • Which Algorithm to Choose? In the current context of data explosion, online techniques that ... research and found wide applications in industrial monitoring, computer vision, astronomy, and latent semantic indexing...
  • Arlearn

  • Referenced in 1 article [sw21645]
  • media artefacts in a specific context. The platform contains a web-based authoring environment, cross ... scenarios, as well as tools to monitor progress and results. Besides exploring the pedagogical background...
  • KnowLang

  • Referenced in 2 articles [sw12395]
  • self-adaptation. Self-adaptive systems autonomously monitor their behavior and eventually modify that behavior according ... reasoning. KnowLang provides for a special knowledge context and a special reasoner operating in that...
  • Diogenes

  • Referenced in 3 articles [sw30238]
  • contracts can interact, and their execution is monitored to detect and sanction contract breaches ... failures (whether accidental or malicious) of the context. In this paper we present Diogenes...
  • Timed Conversation

  • Referenced in 1 article [sw22153]
  • Timed Conversation API in Python. Timed Runtime Monitoring for Multiparty Conversations. In [tMPST] we present ... available at bottom of this page. Context and Background: (Untimed) Multiparty Session Types (MPSTs) have...
  • WebVigiL

  • Referenced in 2 articles [sw01763]
  • general-purpose, active capability-based information monitoring and notification system, handles specification, management, and propagation ... will explain the change detection in the context of HTML (unstructured) and XML (semi-structured...
  • Tekkotsu

  • Referenced in 4 articles [sw25578]
  • bones’ in Japanese, often used in the context of buildings’ structural framework. Similarly, this software ... localization, forward and inverse kinematics solvers, remote monitoring and teleoperation tools, and realtime motion control...
  • AutoSynch

  • Referenced in 1 article [sw21569]
  • show that the belief that automatic signaling monitors are prohibitively expensive is wrong. For most ... predicate evaluation in every thread, thereby reducing context switches during the execution of the program ... almost as efficient as the explicit-signal monitor and even more efficient for some cases...
  • Lana

  • Referenced in 1 article [sw30403]
  • present work situates itself in the context of a quite recent research trend: development support ... information, and (ii) ASPUnit, for running and monitoring unit tests on program blocks. Lanais also...
  • 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...
  • LANGAGE

  • Referenced in 36 articles [sw00501]
  • LANGAGE: A Maple package for automaton characterization of...
  • 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...
  • MiniSat

  • Referenced in 524 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

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