3954 search results - page 93 / 791 » Image-based Model Completion |
136
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- We consider the multiplay model for hysteresis with nonlocal memory. This model consists of N mass/spring/dashpot with deadzone elements. The hysteresis map of the multi...
164
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
116
click to vote
CCE
2004
15 years 6 months ago
2004
A nonequilibrium (NEQ) model for a complete three-phase distillation in tray columns is described. The model consists of a set of mass and energy balances for each of the three po...
155
click to vote
FOSSACS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
173
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...