42 |
An Approach for Semantic Query Processing with UDDI
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
43 |
Plan Critiquing and Look-Ahead Constraint Reasoning for Active Templates
|
|
|
|
In: DTIC AND NTIS (2004)
|
|
BASE
|
|
Show details
|
|
44 |
Information Engineering in Support of Multilateral Joint Operational Interoperability
|
|
|
|
In: DTIC (2004)
|
|
BASE
|
|
Show details
|
|
45 |
Entwurf und Erprobung eines software-gestützten Verfahrens zur Anwendung software-ergonomischer Methoden in den frühen Phasen der Anwendungsentwicklung
|
|
|
|
In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1985/DIP-1985.pdf (2002)
|
|
BASE
|
|
Show details
|
|
46 |
TAME: Using PVS Strategies for Special-Purpose Theorem Proving
|
|
|
|
In: DTIC (2001)
|
|
BASE
|
|
Show details
|
|
48 |
Information Extraction Supported Question Answering
|
|
|
|
In: DTIC (1999)
|
|
BASE
|
|
Show details
|
|
49 |
A Graphical Environment for the Design of Concurrent Real-Time Systems
|
|
|
|
In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997)
|
|
BASE
|
|
Show details
|
|
50 |
Information systems engineering : a multi-modeling and a meta-modeling approach ; Ingénierie de systèmes d'information : une approche de multi-modélisation et de méta-modélisation
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00004944 ; Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1997. Français (1997)
|
|
BASE
|
|
Show details
|
|
51 |
Applying the SCR Requirements Specification Method to Practical Systems: A Case Study
|
|
|
|
In: DTIC (1996)
|
|
BASE
|
|
Show details
|
|
52 |
Information Requirements Analysis: A Qualitative Characterization of the Flightline Expediter for the Integrated Maintenance Information System
|
|
|
|
In: DTIC (1996)
|
|
BASE
|
|
Show details
|
|
54 |
Composite Event Specification and Detection for Supporting Active Capability in an OODBMS: Semantics Architecture and Implementation.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
55 |
Design and Specification of an Object-Oriented Data Manipulation Language.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
57 |
TMSS Parsing Test, MIL-M-9977J, Appendix I, NATO Stage B Cross-Servicing Checklist (CL1), Document Type Definition.
|
|
In: DTIC AND NTIS (1994)
|
|
BASE
|
|
Show details
|
|
58 |
Origin Tracking in Primitive Recursive Schemes
|
|
|
|
In: http://www.cwi.nl/ftp/CWIreports/AP/CS-R9401.ps.Z (1993)
|
|
BASE
|
|
Show details
|
|
59 |
Modelling and Specifying Name Visibility and Binding Semantics
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
60 |
A New Definition of the Subtype Relation
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
|
|