590 search results - page 70 / 118 » Some Aspects of Computable Functional Analysis |
CTRSA
2010
Springer
14 years 3 months ago
2010
Springer
Security devices are vulnerable to side-channel attacks that perform statistical analysis on data leaked from cryptographic computations. Higher-order (HO) attacks are a powerful a...
ADHOCNOW
2008
Springer
14 years 3 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
CADE
1990
Springer
14 years 24 days ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
TAMC
2009
Springer
14 years 3 months ago
2009
Springer
Computability concerns information with a causal – typically algorithmic – structure. As such, it provides a schematic analysis of many naturally occurring situations. We look ...
STACS
1995
Springer
14 years 8 days ago
1995
Springer
Motivatedby the analysis of known parallel techniques for the solution of linear tridiagonal system, we introduce generalized scans, a class of recursively de ned lengthpreserving...