1525 search results - page 58 / 305 » Formal Models for Communication-Based Design |
CONTEXT
2007
Springer
14 years 2 months ago
2007
Springer
Informal notions of context often imply much more than that captured in many computational formalisms of it. The view presented in this paper, built on our understanding of designi...
WSC
2004
13 years 9 months ago
2004
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
HPCA
2003
IEEE
14 years 8 months ago
2003
IEEE
As the level of chip integration continues to advance at a fast pace, the desire for efficient interconnects-whether on-chip or off-chip--is rapidly increasing. Traditional interc...