140 search results - page 25 / 28 » Interpretation and Transformation for Abstracting Conversati... |
IACR
2011
13 years 9 months ago
2011
Abstract. Tampering attacks are cryptanalytic attacks on the implementation of cryptographic algorithms (e.g., smart cards), where an adversary introduces faults with the hope that...
VIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Visualization is the transformation of data or information into pictures. The need for visualization has become more apparent as the amount of available information has increased ...
EMSOFT
2004
Springer
15 years 1 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We describe SAFL, a call-by-value first-order functional language which is syntactically restricted so that storage may be statically allocated to fixed locations. Evalua...