111 search results - page 18 / 23 » Traceability for the maintenance of secure software |
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...
106
click to vote
IASTEDSEA
2004
15 years 1 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
109
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
CLUSTER
2001
IEEE
15 years 3 months ago
2001
IEEE
High-performance computing clusters (commodity hardware with low-latency, high-bandwidth interconnects) based on Linux, are rapidly becoming the dominant computing platform for a ...
TAP
2009
Springer
15 years 6 months ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...