25 search results - page 1 / 5 » arts 1997 |
ARTS
1997
Springer
13 years 9 months ago
1997
Springer
ARTS
1997
Springer
13 years 9 months ago
1997
Springer
AC
1997
Springer
13 years 9 months ago
1997
Springer
This paper describes the state of the art for cryptographic primitives that are used for protecting the authenticity of information: cryptographic hash functions and digital signat...
ARTS
1997
Springer
13 years 9 months ago
1997
Springer
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...
ARTS
1997
Springer
13 years 9 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...