2836 search results - page 220 / 568 » Model Checking for Software Architectures |
139
click to vote
ISCA
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
173
click to vote
ISCA
2012
IEEE
13 years 6 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
149
click to vote
EWSA
2004
Springer
15 years 9 months ago
2004
Springer
Model Driven Architecture (MDA) is an initiative of the OMG in which the software development process is driven by various software-related models describing the software to be gen...
154
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
142
click to vote
CLUSTER
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Software component technologies are being accepted as an adequate solution for handling the complexity of applications. However, existing software component models tend...