1178 search results - page 126 / 236 » A Methodological Approach to Developing Model Transformation... |
137
click to vote
SPLC
2008
15 years 3 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
107
click to vote
ICALT
2010
IEEE
14 years 11 months ago
2010
IEEE
Emotions have a functional relevance to learning and achievement. Not surprisingly then, affective diagnoses are an important aspect of expert human mentoring. Computerbased learni...
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
147
Voted
TOG
2012
13 years 4 months ago
2012
We present an approach to high-level shape editing that adapts the structure of the shape while maintaining its global characteristics. Our main contribution is a new algebraic mo...
131
click to vote
ISVLSI
2003
IEEE
15 years 7 months ago
2003
IEEE
The need for small, high speed, low power computers as the end of Moore’s law approaches is driving research into nanotechnology. These novel devices have significantly differe...