3082 search results - page 226 / 617 » Deviation Analysis: A New Use of Model Checking |
152
click to vote
FMCAD
2007
Springer
16 years 20 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
147
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
Since Power Analysis on smart-cards was introduced by Paul Kocher [KJJ98], the validity of the model used for smart-cards has not been given much attention. In this paper, we firs...
162
click to vote
CSFW
2006
IEEE
16 years 17 days ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
178
click to vote
WSC
1998
15 years 7 months ago
1998
This paper presents a practical undertaking to solve an industry-specific problem of facility expansion through relocation of an existing production facility to a proposed new fac...
156
click to vote
JCNS
2011
15 years 1 months ago
2011
To understand the functional connectivity of neural networks, it is important to develop simple and incisive descriptors of multineuronal firing patterns. Analysis at the pairwise...