2836 search results - page 71 / 568 » Model Checking for Software Architectures |
184
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
202
click to vote
STTT
2010
15 years 4 months ago
2010
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
146
click to vote
CODES
1996
IEEE
15 years 10 months ago
1996
IEEE
Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...
169
click to vote
IPPS
2007
IEEE
16 years 9 days ago
2007
IEEE
Assessing reliability at early stages of software development, such as at the level of software architecture, is desirable and can provide a cost-effective way of improving a soft...
158
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Today’s large-scale computing systems are deployed in open, changing and unpredictable environments. To operate reliably, such systems should be able to adapt to new ci...