278 search results - page 5 / 56 » A Phase-Based Approach to Creating Highly Reliable Software |
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
DATE
2003
IEEE
14 years 23 days ago
2003
IEEE
Test is often seen as a necessary evil; it is a fact of life that ICs have manufacturing defects and those need to be filtered out by testing before the ICs are shipped to the cu...
UML
2005
Springer
14 years 28 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
ICALT
2008
IEEE
14 years 1 months ago
2008
IEEE
In the process of developing Web Based Training (WBT) applications, the Sharable Content Object Reference Model (SCORM) has become the most common eLearning standard making it pos...
EUROSYS
2010
ACM
14 years 4 months ago
2010
ACM
Deployment of SSDs in enterprise settings is limited by the low erase cycles available on commodity devices. Redundancy solutions such as RAID can potentially be used to protect a...