239 search results - page 18 / 48 » Reusing Model Transformations While Preserving Properties |
ENASE
2009
14 years 7 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
IPMI
2005
Springer
15 years 3 months ago
2005
Springer
Many types of transformations are used to model deformations in medical image registration. While some focus on modeling local changes, some on continuity and invertibility, there ...
161
click to vote
AUTOMATICA
2011
14 years 4 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
84
Voted
GRAPHICSINTERFACE
2001
14 years 11 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...