IFIP
1992
Springer
14 years 3 months ago
1992
Springer
IFIP
1992
Springer
14 years 3 months ago
1992
Springer
IFIP
1992
Springer
14 years 3 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
14 years 3 months ago
1992
Springer
IFIP
1992
Springer
14 years 3 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
14 years 3 months ago
1992
Springer
IFIP
1992
Springer
14 years 3 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
14 years 3 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
14 years 3 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
14 years 3 months ago
1994
Springer
