932 search results - page 79 / 187 » Software Reliability Engineering: A Roadmap |
109
Voted
EUROSYS
2007
ACM
15 years 4 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
100
click to vote
ACMSE
2008
ACM
15 years 2 months ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
94
Voted
COMPSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Test cost minimisation approaches have traditionally been devoted to minimising "execution costs", while maximising coverage or reliability. However, in a runti...
215
click to vote
POPL
2005
ACM
16 years 27 days ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...