2255 search results - page 8 / 451 » High Assurance Software Systems |
APSEC
2000
IEEE
13 years 12 months ago
2000
IEEE
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
ASPLOS
2009
ACM
14 years 8 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
PADL
2005
Springer
14 years 29 days 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...
DSN
2006
IEEE
14 years 1 months ago
2006
IEEE
We present three algorithms for detecting the need for software rejuvenation by monitoring the changing values of a customer-affecting performance metric, such as response time. A...
ICSR
2004
Springer
14 years 25 days ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...