670 search results - page 51 / 134 » Software safety: relating software assurance and software in... |
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A state-of-the-art integrated environment was created to study interaction among fire, structure and agent models in a fire evacuation from a typical office building. For...
ASPLOS
2011
ACM
13 years 1 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
SOFSEM
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
ECSA
2010
Springer
13 years 10 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
OHS
2001
Springer
14 years 2 months ago
2001
Springer
Software engineers face a difficult task in managing the many different types of relationships that exist between the documents of a software development project. We refer to this...