| 61 |
DejaVu - A Distributed Hypermedia Application Framework
|
|
|
|
In: ftp://ftp.cs.vu.nl/pub/eliens/papers/DejaVu.ps.Z (1992)
|
|
BASE
|
|
Show details
|
|
|
| 62 |
Proving Noninterference and Functional Correctness Using Traces
|
|
|
|
In: DTIC (1992)
|
|
BASE
|
|
Show details
|
|
|
| 63 |
Spacecraft Command and control Using AI Planning Techniques. The O-Plan2 Project.
|
|
|
|
In: DTIC AND NTIS (1992)
|
|
BASE
|
|
Show details
|
|
|
| 65 |
Pavane: A System for Declarative Visualization of Concurrent Computations
|
|
|
|
In: DTIC (1991)
|
|
BASE
|
|
Show details
|
|
|
| 66 |
The Pegasys Environment for Graphical Documentation of Large Programs
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
|
| 67 |
Netlist +: A Simple Interface Language for Chip Design
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
|
| 68 |
Global Optimization of Digital Circuits.
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
|
| 69 |
Designing a HyperCard Database for the Natural Language Sourcebook
|
|
|
|
In: DTIC AND NTIS (1990)
|
|
BASE
|
|
Show details
|
|
|
| 70 |
Integrated Information Support System (IISS). Volume 8. User Interface Subsystem. Part 22. Graph Language Development Specification
|
|
|
|
In: DTIC AND NTIS (1990)
|
|
BASE
|
|
Show details
|
|
|
| 71 |
The Design and Implementation of a Syntax Directed Editor for the Specification Language Spec
|
|
|
|
In: DTIC AND NTIS (1989)
|
|
BASE
|
|
Show details
|
|
|
| 72 |
Research and Development in Natural Language Understanding as Part of the Strategic Computing Program
|
|
|
|
In: DTIC AND NTIS (1989)
|
|
BASE
|
|
Show details
|
|
|
| 73 |
Design of a Syntax Directed Editor for PSDL (Prototype Systems Design Language)
|
|
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
|
| 74 |
The Problem of Undefinedness in Specifications
|
|
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
|
| 75 |
Semiannual Technical Report Number 1, VLSI Architectures and CAD
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
|
| 76 |
A Prototypical Implementation of Galahad: A Conceptual Modeling Language Using the Object Paradigm
|
|
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
|
| 77 |
The Design and Implementation of a Relational Interface for the Multi-Lingual Database System.
|
|
|
|
In: DTIC AND NTIS (1985)
|
|
BASE
|
|
Show details
|
|
|
| 78 |
The Design and Implementation of a Hierarchical Interface for the Multi-Lingual Database System.
|
|
|
|
In: DTIC AND NTIS (1985)
|
|
BASE
|
|
Show details
|
|
|
| 79 |
A Formal Method for the Abstract Specification of Software
|
|
|
|
In: DTIC (1984)
|
|
BASE
|
|
Show details
|
|
|
| 80 |
Issues in Interaction Language Specification and Representation.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
|
|
|
