624 search results - page 80 / 125 » Application of Lightweight Formal Methods to Software Securi... |
100
click to vote
ICWS
2010
IEEE
14 years 10 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
109
click to vote
KDD
2010
ACM
15 years 3 months ago
2010
ACM
Recent research in privacy-preserving data mining (PPDM) has become increasingly popular due to the wide application of data mining and the increased concern regarding the protect...
102
click to vote
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
Diagnosing production run failures is a challenging yet important task. Most previous work focuses on offsite diagnosis, i.e. development site diagnosis with the programmers prese...
SAFECOMP
2007
Springer
15 years 6 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
CBSE
2009
Springer
15 years 6 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...