3104 search results - page 196 / 621 » Using quantitative analysis to implement autonomic IT system... |
166
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
139
click to vote
PICS
2000
15 years 5 months ago
2000
Eastman Kodak Company is using a scanner-based image quality measurement system to perform production line testing of the image quality of a high-quality thermal media based imagi...
154
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Many conceptual modeling and system design methodologies provide tools to help system designers to model the real world. No guidelines exist, however, for determining the relation...
183
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
121
click to vote
IWPC
2005
IEEE
15 years 10 months ago
2005
IEEE
Software evolution analysis is concerned with analysis of artifacts produced during a software systems life-cycle. Execution traces produced from instrumented code reflect a syst...