1356 search results - page 39 / 272 » The ideal of verified software |
OSDI
2006
ACM
16 years 2 days ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...
103
click to vote
ESEC
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
113
click to vote
ICCAD
1994
IEEE
15 years 3 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Software systems evolve over time. Currently we do not do a good job of documenting this evolution. This essay discusses the need to better document software evolution and introdu...