| 1 |
Security Ontology for Annotating Resources
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Developing Secure Agent Systems Using Delegation Based Trust Management
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Groundtruth Generation and Document Image Degradation
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Ontology-Driven Translator Generator for Data Display Configurations
|
|
|
|
In: DTIC (2004)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Disparate Ontology Understanding, Brokering, Linking, and Elaboration (DOUBLE)
|
|
|
|
In: DTIC AND NTIS (2004)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Formulating and Reasoning about Security Policies
|
|
|
|
In: DTIC AND NTIS (2004)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Building Certified Libraries for PCC: Dynamic Storage Allocation
|
|
|
|
In: DTIC AND NTIS (2003)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Handling Translation Divergences: Combining Statistical and Symbolic Techniques in Generation-Heavy Machine Translation
|
|
|
|
In: DTIC (2002)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
A Type-Preserving Compiler Infrastructure
|
|
|
|
In: DTIC AND NTIS (2002)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Expressing Quality of Service in Agent Communication
|
|
|
|
In: DTIC (2001)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Decomposing Large, Complex, Concurrent Systems into Manageable Building Blocks
|
|
|
|
In: DTIC AND NTIS (2001)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Representing Java Classes in a Typed Intermediate Language
|
|
|
|
In: DTIC AND NTIS (1999)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Towards an ML-style Polymorphic Type System for C
|
|
|
|
In: DTIC (1996)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Translation from More to Less Expressive Representation Languages.
|
|
|
|
In: DTIC (1996)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Composite Event Specification and Detection for Supporting Active Capability in an OODBMS: Semantics Architecture and Implementation.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Design and Implementation of Real-Time Monitor for the Object-Oriented Interface.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
The Design and Implementation of a Compiler for the Object-Oriented Data Manipulation Language.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
The Design and Implementation of the Functional/Daplex Data Interface for the Multimodel and Multilingual Database System
|
|
|
|
In: DTIC AND NTIS (1994)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
An Independent Evaluation of the Declarative ADA Dialect
|
|
|
|
In: DTIC AND NTIS (1994)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Mathematical Foundations of Programming Semantics International Conference (9th) Held in New Orleans, Louisiana, April 1993
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
|
|
|
