19 search results - page 4 / 4 » Detection and Prediction of Resource-Exhaustion Vulnerabilit... |
SAFECOMP
2004
Springer
13 years 11 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
ASPLOS
2006
ACM
13 years 9 months ago
2006
ACM
Transient faults are expected a be a major design consideration in future microprocessors. Recent proposals for transient fault detection in processor cores have revolved around t...
IJNSEC
2008
13 years 5 months ago
2008
The Internet is crucial to business, government, education and many other facets of society and its continuing scalability places serious challenges on the routing system's c...
ICDE
2010
IEEE
13 years 7 months ago
2010
IEEE
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...