1 |
Trust in Security-Policy Enforcement Mechanisms
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
2 |
Eliminating Covert Flows with Minimum Typings
|
|
|
|
In: DTIC (1997)
|
|
BASE
|
|
Show details
|
|
3 |
Analog Hardware Description Language (AHDL).
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
4 |
A Type Inference Algorithm And Transition Semantics For Polymorphic C.
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
5 |
Uniform Representation of Data Types in Polymorphic C.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
6 |
A Survey of Computer Programming Languages Currently Used in the Department of Defense.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
7 |
A New Definition of the Subtype Relation
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
8 |
Declarative Object Manipulation Environment (DOME): Alpha Version
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
9 |
Definition and Implementation of the Integrated Modular Persistent Object Representation Translator (IMPORT)
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
10 |
The Design and Implementation of a Syntax Directed Editor for the Specification Language Spec
|
|
|
|
In: DTIC AND NTIS (1989)
|
|
BASE
|
|
Show details
|
|
11 |
Durra: A Task-Level Description Language Reference Manual. Version 2
|
|
|
|
In: DTIC AND NTIS (1989)
|
|
BASE
|
|
Show details
|
|
13 |
A Table-Driven Approach to Fast Context-Free Parsing
|
|
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
14 |
A Prototypical Implementation of Galahad: A Conceptual Modeling Language Using the Object Paradigm
|
|
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
15 |
The New ROSIE Reference Manual and User's Guide
|
|
|
|
In: DTIC AND NTIS (1987)
|
|
BASE
|
|
Show details
|
|
16 |
DoD Gateway Information System (DGIS) Common Command Language: Prolog Knowledge Base Profile.
|
|
|
|
In: DTIC AND NTIS (1987)
|
|
BASE
|
|
Show details
|
|
17 |
DoD Gateway Information System (DGIS): Common Command Language: The First Prototyping and the Decision for Artificial Intelligence.
|
|
|
|
In: DTIC AND NTIS (1987)
|
|
BASE
|
|
Show details
|
|
18 |
Accessing Hierarchical Databases Via SQL Transactions in a Multi-Model Database System.
|
|
|
|
In: DTIC AND NTIS (1987)
|
|
BASE
|
|
Show details
|
|
19 |
The Implementation of a Functional/Daplex Interface for the Multi-Lingual Database System.
|
|
|
|
In: DTIC AND NTIS (1986)
|
|
BASE
|
|
Show details
|
|
|
|