6952 search results - page 1126 / 1391 » The information integrity imperative |
164
click to vote
CHES
2005
Springer
16 years 8 days ago
2005
Springer
Electromagnetic analysis (EMA) can be used to compromise secret information by analysing the electric and/or magnetic fields emanating from a device. It follows differential power...
174
click to vote
COMPLIFE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Most software tools in homology recognition on proteins answer only a few specific questions, often leaving not much room for the interpretation of the results. We devel...
159
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
171
click to vote
DSVIS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
157
click to vote
ECOOP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...