• Reo

  • Referenced in 81 articles [sw06353]
  • presents a paradigm for composition of distributed software components and services based on the notion ... glue code” language for compositional construction of connectors that orchestrate the cooperative behavior of instances...
  • ESMF

  • Referenced in 13 articles [sw05821]
  • component is a unit of software composition that has a coherent function, and a standard...
  • GlobSol

  • Referenced in 38 articles [sw06724]
  • GlobSol: history, composition, and advice on use The GlobSol software package combines various ideas from...
  • CAS/PI

  • Referenced in 22 articles [sw02186]
  • been developed by composition of pre-existing software tools such as Maple, Sisyphe, or Ulysse...
  • PIPER

  • Referenced in 28 articles [sw11478]
  • composition are the fundamental issues in making model checking viable for software. This paper proposes ... assume-guarantee proof rule for carrying out compositional model checking on the types. Open simulation...
  • PseAAC-Builder

  • Referenced in 25 articles [sw22404]
  • amino acid compositions. The pseudo-amino acid composition has been widely used to convert complicated ... order information. However, so far the only software available to the public ... propose a new cross-platform stand-alone software program, called PseAAC-Builder (http://www.pseb.sf.net), which ... modes of Chou’s pseudo-amino acid composition in a much more efficient and flexible...
  • PICCOLA

  • Referenced in 17 articles [sw06408]
  • small composition language. Although object-oriented languages are well-suited to implement software components, they ... problem by clearly separating component implementation and composition. In particular, we claim that application development...
  • Photoshop

  • Referenced in 20 articles [sw33695]
  • world’s best imaging and graphic design software is at the core of just about ... every creative project, from photo editing and compositing to digital painting, animation, and graphic design...
  • Maya

  • Referenced in 18 articles [sw14258]
  • Maya 3D animation software offers a comprehensive creative feature set for 3D computer animation, modeling ... simulation, rendering, and compositing on a highly extensible production platform. Maya has next-generation display...
  • Overture

  • Referenced in 36 articles [sw05685]
  • differential equations. It provides a portable, flexible software development environment for applications that involve ... curvilinear grids, adaptive mesh refinement, and the composite overlapping grid method to represent problems involving...
  • CloudSim

  • Referenced in 24 articles [sw10724]
  • based application services. These applications have different composition, configuration, and deployment requirements. Quantifying the performance ... allocation policy on a Cloud infrastructure (hardware, software, services) for different application and service models...
  • SAMRAI

  • Referenced in 41 articles [sw04441]
  • prominent object-oriented features of the SAMRAI software library that have proven to be useful ... design. First, we describe the composition of complex numerical algorithms from smaller components which...
  • ComDeValCo

  • Referenced in 2 articles [sw07628]
  • COMDEVALCO A FRAMEWORK FOR SOFTWARE COMPONENT DEFINITION, VALIDATION, AND COMPOSITION This paper introduces ComDeValCo ... framework for Software Component De nition, Validation, and Composition. This is the rst paper ... aimed to give a precise description of software components. Component repository is storing valid components ... dedicated to component de nition, validation, and composition, as well as the management of component...
  • GlycoMod

  • Referenced in 2 articles [sw14030]
  • GlycoMod – a software tool for determining glycosylation compositions from mass spectrometric data. GlycoMod (http://www.expasy.ch/tools/glycomod/) is a software tool designed to find all possible compositions of a glycan structure...
  • Mercury

  • Referenced in 1 article [sw30528]
  • Mercury®: A Software Based on Fuzzy Clustering for Computer-Assisted Composition ... present Mercury, a new software for computer-assisted composition based on fuzzy clustering algorithms. This ... algorithm implemented in the software in order to create those complete transitions, overviewing not only ... notation module. Finally, the wide variety of compositional possibilities of Mercury are shown by means...
  • RELAX

  • Referenced in 6 articles [sw01328]
  • RELAX: A software platform for PDE interface relaxation methods. RELAX is a system designed ... solving partial differential equations (PDEs) on composite domains, especially, for modeling mechanical objects which...
  • SENKIN

  • Referenced in 20 articles [sw12845]
  • time. The program uses the DASAC software to solve both the nonlinear ordinary differential equations ... order sensitivity coefficients of temperature and species composition with respect to the individual reaction rates...
  • fc2tools

  • Referenced in 11 articles [sw12386]
  • graphical editor Autograph, is a forerunner amongst softwares dealing with model-based, automatic verification ... theory, for syntax and semantics; verification by compositional reductions and abstraction; alternative or combined ... format for easy interface with other verification softwares...
  • dtk

  • Referenced in 1 article [sw25793]
  • orchestrated through high-level software entities - scripts, compositions or user interface elements. It then overcomes...