3954 search results - page 93 / 791 » Image-based Model Completion |
117
click to vote
CDC
2009
IEEE
15 years 2 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...
145
click to vote
UML
2005
Springer
15 years 10 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...
CCE
2004
15 years 4 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...
140
Voted
FOSSACS
2001
Springer
15 years 9 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...
158
Voted
ECBS
2004
IEEE
15 years 8 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...