4516 search results - page 424 / 904 » Automated System Design for Availability |
199
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The availability of the logical structure of documents in contentoriented XML retrieval can be beneficial for users of XML retrieval systems. However, research into struc...
169
click to vote
FORTE
2004
15 years 8 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
190
click to vote
FLAIRS
2003
15 years 8 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
176
click to vote
VTS
2000
IEEE
15 years 11 months ago
2000
IEEE
Hardware duplication techniques are widely used for concurrent error detection in dependable systems to ensure high availability and data integrity. These techniques are vulnerabl...
197
click to vote
RTS
2002
15 years 6 months ago
2002
As desktop computer computational power continues to increases dramatically, it is becoming commonplace to run a combination of deadline-sensitive applications. Despite the prolif...