1 |
An Approach Using MIP Products for the Development of the Coalition Battle Management Language Standard
|
|
|
|
In: DTIC (2013)
|
|
BASE
|
|
Show details
|
|
3 |
KEYNOTE 2 : Rebuilding the Tower of Babel - Better Communication with Standards
|
|
|
|
In: DTIC (2013)
|
|
BASE
|
|
Show details
|
|
4 |
Making Semantic Information Work Effectively for Degraded Environments
|
|
|
|
In: DTIC (2013)
|
|
BASE
|
|
Show details
|
|
6 |
Applying A Formal Language of Command and Control For Interoperability Between Systems
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
7 |
United States Air Force (USAF) Semantic Interoperability Capabilities Based Assessment and Technology Roadmap
|
|
|
|
In: DTIC (2007)
|
|
BASE
|
|
Show details
|
|
9 |
Toward a Standard Rule Language for Semantic Integration of the DoD Enterprise
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
10 |
Adding Semantic Support to Existing UDDI Infrastructure
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
11 |
Towards a Formal Ontology for Military Coalitions Operations
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
12 |
Safe and Principled Language Interoperation
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
Abstract:
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised by an ML function may have no valid semantic interpretation in the context of a Safe-C caller. Sandboxing costs performance and still may violate the semantics if effects are not taken into account. We show that effect annotations alone are insufficient to guarantee safety, and we present a type system with bounded effect polymorphism designed to verify the compatibility of abstract resources required by the computational models of the interoperating languages. The type system ensures single address space interoperability of statically typed languages with effect mechanisms built of modules for control and state. It is shown sound for safety with respect to the semantics of a language with constructs for selection, simulation, and blocking of resources, targeted as an intermediate language for optimization of resource handling. ; Sponsored in part by Defense Advanced Research Projects Agency (DARPA) and by the National Science Foundation (NSF) under grants CCR-9501624 and CCR-9633390.
|
|
Keyword:
*INTEROPERABILITY; *PROGRAMMING LANGUAGES; *SAFETY; COMPATIBILITY; COMPUTATIONS; Computer Programming and Software; EFFECTS; POLYMORPHISM; SEMANTICS
|
|
URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA436481 http://www.dtic.mil/docs/citations/ADA436481
|
|
BASE
|
|
Hide details
|
|
13 |
Type-Directed Continuation Allocation
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
14 |
Information Engineering in Support of Multilateral Joint Operational Interoperability
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
15 |
Integrated DoD/C4ISR Architectures: It's not About the Framework.
|
|
|
|
In: DTIC (2004)
|
|
BASE
|
|
Show details
|
|
16 |
Implications of Multilingual Interoperability of Speech Technology for Military Use (Les implications de l'interoperabilite multilingue des technologies vocales pour applications militaires)
|
|
|
|
In: DTIC AND NTIS (2004)
|
|
BASE
|
|
Show details
|
|
17 |
Implications of Multilingual Interoperability of Speech Technology for Military Use (Les implications de l'interoperabilite multilingue des technologies vocales pour applications militaires) (CD-ROM)
|
|
In: DTIC (2004)
|
|
BASE
|
|
Show details
|
|
18 |
Information Engineering in Support of Multilateral Joint Operational Interoperability
|
|
|
|
In: DTIC (2004)
|
|
BASE
|
|
Show details
|
|
19 |
The Benefit of Ontologies for Interoperability of CCIS. (Easy, Quick and Cheap Solutions are Impossible, if Semantics of CCIS are Affected.)
|
|
|
|
In: DTIC (2003)
|
|
BASE
|
|
Show details
|
|
20 |
Semantic Interoperability in AD Hoc Wireless Networks
|
|
|
|
In: DTIC AND NTIS (2001)
|
|
BASE
|
|
Show details
|
|
|
|