3555 search results - page 441 / 711 » Security-Critical System Development with Extended Use Cases |
178
Voted
SP
2008
IEEE
16 years 1 months ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
174
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
187
click to vote
ECOI
2008
15 years 7 months ago
2008
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...
178
Voted
MUM
2009
ACM
16 years 1 months ago
2009
ACM
Reducing their energy consumption has become an important objective for many people. Consumption transparency and timely feedback are essential to support those who want to adjust...
205
Voted
PDP
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...