3425 search results - page 188 / 685 » A Model Driven Approach for Software Systems Reliability |
126
click to vote
ANSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
118
click to vote
EMSOFT
2006
Springer
15 years 7 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...
153
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
A goal of the Geosciences Network (GEON) is to develop cyber-infrastructure that will allow earth scientists to discover access, integrate and disseminate knowledge in distributed...
178
click to vote
GLOBE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Distributed or peer-to-peer storage solutions rely on the introduction of redundant data to be fault-tolerant and to achieve high reliability. One way to introduce redund...
128
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...