• Reo

  • Referenced in 88 articles [sw06353]
  • components or services in a component-based system or a service-oriented application...
  • ANFIS

  • Referenced in 279 articles [sw08730]
  • presented, which is a fuzzy inference system implemented in the framework of adaptive networks ... ANFIS can construct an input-output mapping based on both human knowledge (in the form ... nonlinear functions, identify nonlinear components on-line in a control system, and predict a chaotic...
  • VEST

  • Referenced in 26 articles [sw01405]
  • toolset for constructing and analyzing component based embedded systems Embedded systems are proliferating ... amazing rate. To be successful these systems must be tailored to meet many cost, time ... embedded systems by using domain specific components has promise. However, in composing components the most ... dependency checks based on aspects to support embedded system development via components...
  • ASF+SDF

  • Referenced in 35 articles [sw11316]
  • meta-environment: A component-based language development environment. The AS+SDF Meta-environment ... systems for constructing language definitions and generating tools for them. Over the years, this system ... formal program manipulation to conversion of COBOL systems. Since the existing implementation ... completely new, component-based, version. We demonstrate this new system and stress its open architecture...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • validation environment for component-based real-time systems It is widely recognised that the automated ... built upon an intermediate representation language based on extended timed automata. In particular, this representation ... semantics of real-time primitives for asynchronous systems. Currently, the toolbox contains dedicated tools ... complex system specifications which mix formal descriptions and executable code (e.g, for components already implemented...
  • Rapide

  • Referenced in 38 articles [sw01249]
  • distributed multi-language systems. This technology is based upon a new generation of computer languages ... large-scale systems. Rapide™ is designed to support component-based development of large, multi-language...
  • D-Finder

  • Referenced in 16 articles [sw00200]
  • compositional method for the verification of component-based systems described in BIP language encompassing multi...
  • SYNTHESIS

  • Referenced in 8 articles [sw00944]
  • Automatically Assembling Correct and Distributed Component-Based Systems. SYNTHESIS is a tool for automatically assembling ... correct and distributed component-based systems. In our context, a system is correct when ... deadlock-free and performs only specified component interactions. In order to automatically synthesize the correct...
  • CartaBlanca

  • Referenced in 8 articles [sw01546]
  • CartaBlanca - a pure-Java, component-based systems simulation tool for coupled nonlinear physics on unstructured ... update. This paper describes a component-based nonlinear physical system simulation prototyping package written entirely ... conservation equations. This enables a clean component-like implementation. We first provide motivation...
  • Pellet

  • Referenced in 95 articles [sw07019]
  • detailed information about the architecture of the system and its features in Pellet Help ... like Pellet is a core component of ontology-based data management applications; if you need...
  • Intel TBB

  • Referenced in 65 articles [sw15025]
  • Rich set of components to efficiently implement higher-level, task-based parallelism. Compatible with multiple ... compilers and portable to various operating systems...
  • NuSMV

  • Referenced in 309 articles [sw04131]
  • joint project between: The Embedded Systems Unit in the Center for Information Technology ... extension of SMV, the first model checker based on BDDs. NuSMV has been designed ... research areas. NuSMV2, combines BDD-based model checking component that exploits the CUDD library developed...
  • DEECO

  • Referenced in 4 articles [sw33424]
  • DEECO: an ensemble-based component system. The recent increase in the ubiquity and connectivity ... class of component systems (Ensemble-Based Component Systems - EBCS) which bind autonomic components with cyclic ... systems, and control systems into software engineering concepts based on autonomic components. In particular...
  • CTL

  • Referenced in 10 articles [sw06766]
  • Template Library to realise distributed component-based software systems. This middleware was developed ... Software Technologies are CORBA or CCA (Common Component Architecture). Till to now several programming languages...
  • DAKOTA

  • Referenced in 77 articles [sw05202]
  • components within advanced strategies such as surrogate-based optimization, mixed integer nonlinear programming, or optimization ... implement abstractions of the key components required for iterative systems analyses, the Dakota toolkit provides...
  • Scicos

  • Referenced in 19 articles [sw01941]
  • physical and biological systems. New extensions allow generation of component based modeling of electrical...
  • NeTra

  • Referenced in 63 articles [sw14887]
  • database. A distinguishing aspect of this system is its incorporation of a robust automated image ... segmentation algorithm that allows object- or region-based search. Image segmentation significantly improves the quality ... image segmentation, other important components of the system include an efficient color representation, and indexing ... regions belonging to different images. A Java-based web implementation of NeTra is available...
  • Cider

  • Referenced in 4 articles [sw00126]
  • present Cider. Cider is a generic component-based system which is designed to be easily ... transformation system for specifying diagram manipulations. Cider’s main innovation is its component-based approach...
  • FPath

  • Referenced in 4 articles [sw21581]
  • reliable reconfiguration of Fractal architectures. Component-based systems must support dynamic reconfigurations to adapt...
  • FScript

  • Referenced in 4 articles [sw21582]
  • reliable reconfiguration of Fractal architectures. Component-based systems must support dynamic reconfigurations to adapt...