10159 search results - page 499 / 2032 » System Design Validation Using Formal Models |
137
Voted
EICS
2010
ACM
15 years 10 months ago
2010
ACM
Fostering creativity in User Interface (UI) design is challenging for innovation. This paper explores the combination of model-based approaches and interactive genetic algorithms ...
148
Voted
DAC
1996
ACM
15 years 9 months ago
1996
ACM
This paper provides a case study that shows how a demanding application stresses the capabilities of today's CAD tools, especially in the integration of products from multipl...
136
click to vote
WSC
1998
15 years 6 months ago
1998
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...
163
click to vote
IBMSJ
2000
15 years 4 months ago
2000
As human computer interface gets more immersive, it will need to explicitly draw upon cognitive science as a basis for understanding what people are capable of doing. User experie...
144
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...