2810 search results - page 156 / 562 » Contract-Based Component System Design |
108
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
We present ideas on how to structure software systems for high availability by considering MTTR/MTTF characteristics of components in addition to the traditional criteria, such as...
158
click to vote
IJES
2006
15 years 3 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
130
click to vote
WSC
1997
15 years 4 months ago
1997
Components of modern parallel systems are becoming quite complex with many features and variations. An integrated modeling of these components (interconnection network, messaging ...
137
click to vote
NBIS
2009
Springer
15 years 9 months ago
2009
Springer
- Recently, pervasive and ubiquitous computing evolved tremendously and has become an integral part of many fields. This is widely attributed to their efficiency in integrating wit...
140
click to vote
HPDC
1993
IEEE
15 years 7 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...