2255 search results - page 138 / 451 » High Assurance Software Systems |
156
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
190
click to vote
HOTSWUP
2009
ACM
15 years 10 months ago
2009
ACM
Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: Ho...
173
click to vote
USENIX
2008
15 years 8 months ago
2008
: The paravirtualized I/O driver domain model, used in Xen, provides several advantages including device driver isolation in a safe execution environment, support for guest VM tran...
198
click to vote
APSCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
220
click to vote
SCCC
2008
IEEE
16 years 22 days ago
2008
IEEE
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...