3425 search results - page 384 / 685 » A Model Driven Approach for Software Systems Reliability |
138
Voted
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Predicting software quality as perceived by a customer may allow an organization to adjust deployment to meet the quality expectations of its customers, to allocate the appropriat...
139
Voted
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
The Solaris 10 Operating System includes a number of new features for predictive self-healing. One such feature is the ability of the Fault Management software to diagnose memory ...
147
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
—Efficient sharing of system resources is critical to obtaining high utilization and enforcing system-level performance objectives on chip multiprocessors (CMPs). Although sever...
111
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
138
click to vote
ENTCS
2002
15 years 4 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...