15644 search results - page 261 / 3129 » Brittle System Analysis |
145
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Deviational analysis is a traditional way of exploring the safety of systems. The results of deviational analysis contribute to traditional safety cases and safety arguments. We ex...
174
click to vote
IJHPCA
2002
15 years 6 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...
173
click to vote
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
128
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
A new HR system was introduced into a Dutch hospital. The system implied collaborative work among its users. The project planning seemed to be reasonably
232
click to vote
IMCSIT
2010
2010
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
15 years 1 months ago
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...