Sciweavers

15635 search results - page 126 / 3127
» Modelling and Design of VAML
Sort
View
VIS
2007
IEEE
60views Visualization» more  VIS 2007»
16 years 6 months ago
Navigating in a Shape Space of Registered Models
New product development involves people with different backgrounds. Designers, engineers, and consumers all have different design criteria, and these criteria interact. Early conce...
Randall C. Smith, Richard Pawlicki, István Kók...
ASPDAC
2005
ACM
125views Hardware» more  ASPDAC 2005»
15 years 10 months ago
A formalism for functionality preserving system level transformations
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
Samar Abdi, Daniel Gajski
ISSE
2010
15 years 3 months ago
An integrated multi-view model evolution framework
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
Volker Stolz
118
Voted
DAC
1998
ACM
16 years 5 months ago
Incremental CTL Model Checking Using BDD Subsetting
Abelardo Pardo, Gary D. Hachtel
DAC
2002
ACM
16 years 5 months ago
Challenges and opportunities in electronic textiles modeling and optimization
Diana Marculescu, Radu Marculescu, Pradeep K. Khos...