313 search results - page 9 / 63 » Visual Design and Reasoning with the Use of Hypergraph Trans... |
INFOVIS
2003
IEEE
14 years 23 days ago
2003
IEEE
This paper proposes a conceptual model called compound brushing for modeling the brushing techniques used in dynamic data visualization. In this approach brushing techniques are m...
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
SIGMOD
2008
ACM
13 years 7 months ago
2008
ACM
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...
IV
2008
IEEE
14 years 1 months ago
2008
IEEE
Design rationale remains poorly explained and rarely modelled on projects in industry. However, the reasons for design decisions are important when a specification has to be re-ex...
DAC
2001
ACM
14 years 8 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...