1675 search results - page 56 / 335 » Compositional Model-Based Design |
GG
2010
Springer
13 years 11 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
MEMOCODE
2007
IEEE
14 years 4 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
WSC
1998
13 years 11 months ago
1998
This paper presents SimBuilder, a simulation system incorporating environmental and quality concerns into a traditional manufacturing simulation environment. These simulations can...
PERVASIVE
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Emerging pervasive computing technologies present many opportunities to aid ad-hoc collocated group collaboration. To better understand ad-hoc collaboration using pervasi...