766 search results - page 74 / 154 » Multiple-view feature modelling for integral product develop... |
ECMDAFA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
SDM
2009
SIAM
14 years 4 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
ECMDAFA
2010
Springer
14 years 16 days ago
2010
Springer
Abstract. In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, bu...
IEEECIT
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...