2834 search results - page 176 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
166
click to vote
ISER
1993
Springer
15 years 10 months ago
1993
Springer
The interaction of an autonomous mobile robot with the real world critically depends on the robots morphology and on its environment. Building a model of these aspects is extremel...
176
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
Networked embedded systems are expected to support adaptive streaming audio/video applications with soft real-time constraints. These systems can be designed in a cost efficient ...
174
click to vote
ICFEM
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
193
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
185
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...