3425 search results - page 118 / 685 » A Model Driven Approach for Software Systems Reliability |
151
Voted
SAFECOMP
2009
Springer
15 years 10 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
224
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
114
Voted
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
During the past ten years, a large number of quality models have been proposed in the literature. In general, the goal of these models is to predict a quality factor starting from...
149
Voted
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...
120
Voted
JIIS
2000
15 years 3 months ago
2000
This paper presents a system for autonomous information gathering in an information rich domain under time and monetary resource restrictions. The system gathers information using ...