15155 search results - page 212 / 3031 » System Software |
138
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
172
click to vote
ICSM
2005
IEEE
16 years 10 hour ago
2005
IEEE
In the context of software maintenance, legacy software systems are continuously re-engineered in order to correct errors, provide new functionality, or port them into modern plat...
169
Voted
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
147
Voted
ICSE
1998
IEEE-ACM
15 years 10 months ago
1998
IEEE-ACM
Continuous availability is a critical requirement for an important class of software systems. For these systems, runtime system evolution can mitigate the costs and risks associat...
174
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...