• FLagSHyP

  • Referenced in 23 articles [sw16022]
  • associated with both manufacturing and working environments. The modeling of these characteristics can only...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • TAXYS tool is to produce a formal model that captures the temporal behavior ... external environment. For this purpose we use the formal model of timed automata. The choice ... again composed with a timed model of the external environment in order to obtain...
  • HyperChem

  • Referenced in 13 articles [sw20659]
  • HyperChem is a sophisticated molecular modeling environment that is known for its quality, flexibility ... mechanics, and dynamics, HyperChem puts more molecular modeling tools at your fingertips than any other...
  • Mosel

  • Referenced in 37 articles [sw04911]
  • solver, multi-problem, multi-model, multi-node modeling and problem solving. Xpress-Mosel, a commercial ... Dash Optimization, now FICO), provides a complete environment for developing, testing and deploying optimization applications ... optimization models written with the Mosel language is aided by the graphical environment Xpress ... tight integration into existing (C/Java/.NET) applications for model deployment. par This chapter explains the basics...
  • Linda

  • Referenced in 103 articles [sw09427]
  • models in specifying that messages be added in tuple-structured form to the computation environment ... global name space that the generative communication model requires...
  • SCADE

  • Referenced in 20 articles [sw00829]
  • that empowers users with a Model-Based Development Environment for critical embedded software. With native ... integrated design environment for critical applications spanning requirements management, model-based design, simulation, verification, qualifiable/certified...
  • SsfPack

  • Referenced in 68 articles [sw09502]
  • statistical analysis of univariate and multivariate models in state space form. The emphasis ... they have made to the Ox computing environment. SsfPack allows for a full range ... space forms: from a simple time-invariant model to a complicated time-varying model. Functions...
  • TAEMS

  • Referenced in 7 articles [sw07177]
  • TAEMS: A Framework for Task Analysis, Environment Modeling, and Simulation. Formal approaches to specifying ... center of analysis to be the task environment, domain, or society of which agents will ... constructing such a task environment-oriented modeling framework that can work hand in hand with ... than single-instance examples. A task environment model can be used for both analysis...
  • ROSETTA

  • Referenced in 24 articles [sw10969]
  • specifications of a sophisticated user-environment for empirical model construction, the design and implementation ... been given. The GUI offers an environment wherein the fundamental tools furnished by the kernel...
  • NEURON

  • Referenced in 189 articles [sw03059]
  • network simulations with NEURON. The NEURON simulation environment has been extended to support parallel network ... delay. The performance of three published network models with very different spike patterns exhibits superlinear...
  • Kestrel

  • Referenced in 7 articles [sw11714]
  • interface to the server enables local modeling environments to request NEOS optimization services and retrieve ... implemented for the AMPL and GAMS modeling environments; these agents have been designed so that...
  • OSiL

  • Referenced in 11 articles [sw07617]
  • computing environment. In the area of mathematical optimization, it is common to separate modeling languages ... optimization solvers. In a completely distributed environment, the modeling language software, solver software, and data ... distributed environment makes it critical to have an open standard for exchanging model instances.par...
  • qpDUNES

  • Referenced in 15 articles [sw13238]
  • solved from a C/C++ environment as well as conveniently from MATLAB. qpDUNES provides setup ... linear time-varying (LTV) model ... predictive control problems in both environments. For nonlinear model predictive control and moving horizon estimation...
  • XFEM

  • Referenced in 391 articles [sw01026]
  • oriented-enriched finite element code. The programming environment provides a robust tool for extended finite ... interfaces and slip-interfaces; nonlinear material models such as J2 plasticity with linear, isotropic...
  • Polychrony

  • Referenced in 12 articles [sw12302]
  • technology demonstrator. It provides a unified model-driven environment to perform embedded system design exploration ... design methodologies formally supported by design model transformations from specification to implementation and from synchrony...
  • LISP-STAT

  • Referenced in 117 articles [sw01111]
  • number of different graphical user interface environments, such as the Macintosh operating system ... also used as the basis for statistical model representations, such as linear and nonlinear regression...
  • YACS

  • Referenced in 11 articles [sw04193]
  • model of the dynamics of the environment. This model can be used to improve...
  • GME

  • Referenced in 5 articles [sw33604]
  • Generic Modeling Environment is a configurable toolkit for creating domain-specific modeling and program synthesis ... environments. The configuration is accomplished through metamodels specifying the modeling paradigm (modeling language ... created using the resultant modeling environment. The metamodeling language is based on the UML class ... generated domain-specific environment is then used to build domain models that are stored...
  • MOCA

  • Referenced in 18 articles [sw02629]
  • scheduling in multiprocessor real-time environments. In our model, every task has a deadline...
  • Supremica

  • Referenced in 19 articles [sw18546]
  • simulation of discrete event systems. An integrated environment, Supremica, for verification, synthesis and simulation ... discrete event systems is presented. The basic model in Supremica is finite automata where ... reachable states. Models in Supremica may be simulated in the environment. It is also possible...