5269 search results - page 806 / 1054 » order 2007 |
142
click to vote
SAMOS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract— This paper explores the resistance of MOS Current Mode Logic (MCML) against Differential Power Analysis (DPA) attacks. Circuits implemented in MCML, in fact, have uniqu...
168
click to vote
SAMT
2007
Springer
16 years 24 days ago
2007
Springer
This paper describes our experience developing a semantically-rich exploratory interface that integrates a suite of Newsfilm media sources and associated information. Indeed, the a...
162
click to vote
SARA
2007
Springer
16 years 24 days ago
2007
Springer
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...
152
click to vote
SARA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
152
click to vote
SAS
2007
Springer
16 years 24 days ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...