3425 search results - page 48 / 685 » A Model Driven Approach for Software Systems Reliability |
106
click to vote
TOPNOC
2008
15 years 3 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
116
click to vote
ENTCS
2010
15 years 3 months ago
2010
Software failures can lead to substantial costs for the user. Existing models for software reliability prediction do not provide much insight into this financial impact. Our appro...
155
click to vote
SCESM
2006
ACM
15 years 9 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
104
click to vote
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been...
140
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
When given a single static picture, humans can not only interpret the instantaneous content captured by the image, but also they are able to infer the chain of dynamic events that ...