IFIP
1992
Springer
13 years 12 months ago
1992
Springer
IFIP
1992
Springer
13 years 12 months ago
1992
Springer
IFIP
1992
Springer
13 years 12 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 12 months ago
1992
Springer
IFIP
1992
Springer
13 years 12 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 12 months ago
1992
Springer
IFIP
1992
Springer
13 years 12 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...
SIGGRAPH
1994
ACM
13 years 12 months ago
1994
ACM
We describe a data visualization system based on spreadsheets. Cells in our spreadsheet contain graphical objects such as images, volumes, or movies. Cells may also contain widget...
SIGADA
1994
Springer
13 years 12 months ago
1994
Springer
AdaWise, a set of tools currently under development at ORA, performs automatic checks to verify the absence of common run-time errors affecting the correctness or portability of A...
SIGADA
1994
Springer
13 years 12 months ago
1994
Springer
