117 search results - page 3 / 24 » Towards preserving correctness in self-managed software syst... |
HOTSWUP
2009
ACM
13 years 3 months ago
2009
ACM
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...
JCDL
2004
ACM
13 years 11 months ago
2004
ACM
This paper describes a Web-services-based system which we have developed to enable organizations to semi-automatically preserve their digital collections by dynamically discoverin...
PADL
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
ICSE
2009
IEEE-ACM
13 years 3 months ago
2009
IEEE-ACM
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should b...
EUROMICRO
2000
IEEE
13 years 10 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...