1 |
Trust in Security-Policy Enforcement Mechanisms
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
2 |
Proving Noninterference and Functional Correctness Using Traces
|
|
|
|
In: DTIC (1992)
|
|
BASE
|
|
Show details
|
|
3 |
The Design and Implementation of a Syntax Directed Editor for the Specification Language Spec
|
|
|
|
In: DTIC AND NTIS (1989)
|
|
BASE
|
|
Show details
|
|
4 |
A Guide to IRUS-II Application Development
|
|
|
|
In: DTIC AND NTIS (1989)
|
|
BASE
|
|
Show details
|
|
5 |
The Role of PROLOG (PROgramming and LOGic) in Natural Language Processing.
|
|
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
6 |
Changes in Knowledge Representation with Increasing Expertise
|
|
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
7 |
Accessing Hierarchical Databases Via SQL Transactions in a Multi-Model Database System.
|
|
|
|
In: DTIC AND NTIS (1987)
|
|
BASE
|
|
Show details
|
|
9 |
ROSIE: A Programming Environment for Expert Systems
|
|
|
|
In: DTIC AND NTIS (1985)
|
|
BASE
|
|
Show details
|
|
12 |
The Portable LISP Translation Tool
|
|
|
|
In: DTIC AND NTIS (1984)
|
|
BASE
|
|
Show details
|
|
13 |
Tools for Testing Denotational Semantic Definitions of Programming Languages.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
14 |
A Numberless, Tensed Language for Action Oriented Tasks.
|
|
|
|
In: DTIC AND NTIS (1982)
|
|
BASE
|
|
Show details
|
|
15 |
Syntax-Directed Editing: Towards Integrated Programming Environments
|
|
|
|
In: DTIC AND NTIS (1982)
|
|
BASE
|
|
Show details
|
|
16 |
Functional PASCAL: An Interim Solution to a Changing Course in Programming Language Development.
|
|
|
|
In: DTIC AND NTIS (1982)
|
|
BASE
|
|
Show details
|
|
17 |
The Specification of Code Generation Algorithms.
|
|
|
|
In: DTIC AND NTIS (1978)
|
|
BASE
|
|
Show details
|
|
19 |
Survey of Scope Issues in Programming Languages
|
|
|
|
In: DTIC AND NTIS (1978)
|
|
BASE
|
|
Show details
|
|
20 |
A Comparison of Programming Languages for Software Engineering.
|
|
|
|
In: DTIC AND NTIS (1978)
|
|
BASE
|
|
Show details
|
|
|
|