83 search results - page 5 / 17 » Deviation Analysis Through Model Checking |
128
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
153
click to vote
ENGL
2008
15 years 4 months ago
2008
Because most of the procedures in defect inspection process of TFT-LCD module assembly are examined manually through human vision, cycle time estimation for this particular process...
144
click to vote
SAFECOMP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
123
click to vote
POLICY
2005
Springer
15 years 10 months ago
2005
Springer
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
235
click to vote
Publication
Within-die process variations arise during integrated circuit (IC) fabrication in the sub-100nm regime. These variations are of paramount concern as they deviate the performance of...