4516 search results - page 629 / 904 » Automated System Design for Availability |
141
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
154
Voted
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
169
Voted
CNSM
2010
15 years 4 months ago
2010
Manageability is a key design constraint for IT solutions, defined as the range of operations required to maintain and administer system resources through their lifecycle phases. E...
169
Voted
AND
2009
15 years 4 months ago
2009
Developing better systems for document image analysis requires understanding errors, their sources, and their effects. The interactions between various processing steps are comple...
179
Voted
CONEXT
2010
ACM
15 years 3 months ago
2010
ACM
Abstract-- Network management and operations are complicated, tedious, and error-prone, requiring significant human involvement and domain knowledge. As the complexity involved ine...