3425 search results - page 272 / 685 » A Model Driven Approach for Software Systems Reliability |
125
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Information systems now form the backbone of nearly every government and private system. Increasingly these systems are networked together allowing for distributed operations, sha...
127
click to vote
IOLTS
2005
IEEE
15 years 10 months ago
2005
IEEE
As device geometries continue to shrink, single event upsets are becoming of concern to a wider spectrum of system designers. These “soft errors” can be a nuisance or catastro...
238
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
137
Voted
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
A plausible representation of relational information among entities in dynamic systems such as a living cell or a social community is a stochastic network which is topologically r...
148
click to vote
HIPEAC
2005
Springer
15 years 10 months ago
2005
Springer
This article aims at making iterative optimization practical and usable by speeding up the evaluation of a large range of optimizations. Instead of using a full run to evaluate a s...