
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, multiproblem, multimodel, multinode modeling and problem solving. XpressMosel, 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 tuplestructured 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 ModelBased Development Environment for critical embedded software. With native ... integrated design environment for critical applications spanning requirements management, modelbased 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 timeinvariant model to a complicated timevarying 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 environmentoriented modeling framework that can work hand in hand with ... than singleinstance examples. A task environment model can be used for both analysis...

ROSETTA
 Referenced in 24 articles
[sw10969]
 specifications of a sophisticated userenvironment 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 timevarying (LTV) model ... predictive control problems in both environments. For nonlinear model predictive control and moving horizon estimation...

XFEM
 Referenced in 391 articles
[sw01026]
 orientedenriched finite element code. The programming environment provides a robust tool for extended finite ... interfaces and slipinterfaces; nonlinear material models such as J2 plasticity with linear, isotropic...

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

LISPSTAT
 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 domainspecific 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 domainspecific environment is then used to build domain models that are stored...

MOCA
 Referenced in 18 articles
[sw02629]
 scheduling in multiprocessor realtime 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...