1414 search results - page 39 / 283 » Combining Intruder Theories |
ISSS
2002
IEEE
14 years 2 months ago
2002
IEEE
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
FM
1999
Springer
14 years 2 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
JCNS
2008
13 years 10 months ago
2008
Information theoretical approaches to sensory processing in electric fish have focused on the encoding of amplitude modulations in a single sensory pathway in the South American gy...
TIT
2002
13 years 9 months ago
2002
This paper provides a mathematical analysis of transform compression in its relationship to linear and nonlinear approximation theory. Contrasting linear and nonlinear approximatio...