15644 search results - page 68 / 3129 » Brittle System Analysis |
210
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
151
click to vote
ETFA
2008
IEEE
15 years 11 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
152
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
168
click to vote
ISMAR
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we present a wearable Augmented Reality (AR) system with personal positioning based on walking locomotion analysis that allows a user to freely move around indoors ...
132
Voted
CLADE
2008
IEEE
15 years 6 months ago
2008
IEEE
Reservoir uncertainty analysis is significant for petroleum engineers for predictions of reservoir performance. However, analysis of reservoir performance uncertainty is challengi...