IFIP
1992
Springer
13 years 11 months ago
1992
Springer
IFIP
1992
Springer
13 years 11 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
IFIP
1992
Springer
13 years 11 months ago
1992
Springer
IFIP
1992
Springer
13 years 11 months ago
1992
Springer
On initiative of the Commission of the European Communities, the Information Technology Security Evaluation Criteria (ITSEC) are designed to provide a yardstick for the evaluation...
IFIP
1992
Springer
13 years 11 months ago
1992
Springer
IFIP
1992
Springer
13 years 11 months ago
1992
Springer
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...