713 search results - page 40 / 143 » Toward a More Reliable Theory of Software Reliability |
SIGSOFT
2006
ACM
14 years 2 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
This paper describes how multiagent systems can be used to achieve robust software, one of the major goals of software engineering. The paper first positions itself within the sof...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
SIGCOMM
2006
ACM
14 years 2 months ago
2006
ACM
A pervasive requirement of distributed systems is to deal with churn — change in the set of participating nodes due to joins, graceful leaves, and failures. A high churn rate ca...
CODES
2009
IEEE
14 years 3 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...