25 search results - page 1 / 5 » arts 1997 |
200
Voted
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
193
Voted
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
205
click to vote
AC
1997
Springer
15 years 11 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...
201
click to vote
ARTS
1997
Springer
15 years 11 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...
236
click to vote
ARTS
1997
Springer
15 years 11 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...