Sciweavers

15635 search results - page 217 / 3127
» Modelling and Design of VAML
Sort
View
CERA
2002
134views more  CERA 2002»
15 years 6 months ago
Design Parameterization for Concurrent Design and Manufacturing of Mechanical Systems
Design changes are frequently encountered in the product development process. The complexity of the design changes is multiplied when the product design involves multiple engineer...
Javier Silva, Kuang-Hua Chang
CHI
1992
ACM
15 years 10 months ago
Coupling Application Design and User Interface Design
Building an interactive application requires, amongst other activities, the design of both a data model and a user interface. These two designs are often done separately, frequent...
Dennis J. M. J. de Baar, James D. Foley, Kevin E. ...
DAC
1999
ACM
16 years 7 months ago
Symbolic Model Checking Using SAT Procedures instead of BDDs
Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...
DAC
1999
ACM
16 years 7 months ago
Robust Rational Function Approximation Algorithm for Model Generation
Carlos P. Coelho, Joel R. Phillips, Luis Miguel Si...