5525 search results - page 907 / 1105 » Verification of Model Transformations |
135
click to vote
CEEMAS
2003
Springer
15 years 9 months ago
2003
Springer
Flexibility and adaptability are essential properties of intelligent manufacturing systems. However, it is a major challenge to realize these properties and the benefits of a flexi...
118
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
Modern User Interfaces (UI) must deal with the increasing complexity of applications as well as new features such as the capacity of UIs to be dynamically adapted to the context o...
148
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...
131
Voted
SSD
2001
Springer
15 years 8 months ago
2001
Springer
Like people who casually assess similarity between spatial scenes in their routine activities, users of pictorial databases are often interested in retrieving scenes that are simil...
126
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
The Meta-Modeling Language is a static object-oriented modeling language whose focus is the declarative definition of languages. It aims to enable the UML metamodel to be precisely...