Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2 3

Hits 1 – 20 of 60

1	Composite Artistry Meets Facial Recognition Technology: Exploring the Use of Facial Recognition Technology to Identify Composite Images
	Montgomery, Tracy L
	In: DTIC (2011)
	BASE
	Show details

2	Enhancing a Web Crawler with Arabic Search Capability
	Nguyen, Qui V
	In: DTIC (2010)
	BASE
	Show details

3	Building a Virtual Cultural Intelligence Community
	Zahn, Matthew A.; Lacey, Wayne R.
	In: DTIC (2007)
	BASE
	Show details

4	An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems
	DeCloss, Daniel P.
	In: DTIC (2006)
	Abstract: Formal verification is required for systems that require high assurance. Formal verification can require large and complex proofs that can drastically affect the development life cycle. Through the use of a verification system, such proofs can be managed and completed in an efficient manner. A verification system consists of a specification language that can express formal logic and an automated theorem tool that can be used to verify theorems and conjectures within the specifications. One example of a verification system is Specware. This thesis presents an analysis of Specware against a set of evaluation criteria in order to determine the level of usefulness Specware can have in the verification of high assurance systems. This analysis revealed that Specware contains a powerful specification language capable of representing higher order logic in a simple and expressive manner. Specware is able to represent multiple levels of abstraction and generate proof obligations regarding specification correctness and interlevel mapping. The theorem prover associated with Specware was found to be lacking in capability. Through this analysis we found that Specware has great potential to be an excellent verification system given improvement upon the theorem prover and strengthening of weaknesses regarding linguistic components.
	Keyword: INFORMATION ASSURANCE; PROGRAMMING LANGUAGES; *VERIFICATION; AUTOMATION; Computer Programming and Software; LANGUAGE; LIFE CYCLES; LOGIC; SOFTWARE TOOLS; SPECIFICATIONS; SPECWARE; TEST AND EVALUATION; THEOREMS; THESES
	URL: http://www.dtic.mil/docs/citations/ADA451439 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA451439
	BASE
	Hide details

5	Speeding Up a Path-Based Policy Language Compiler
	Guven, Ahmet
	In: DTIC AND NTIS (2003)
	BASE
	Show details

6	An Architecture for the Semantic Processing of Natural Language Input to a Policy Workbench
	Custy, E. J.
	In: DTIC AND NTIS (2003)
	BASE
	Show details

7	Reasoning by Analogy Using Holographic Conceptual Projection
	Degirmenci, Yilmaz
	In: DTIC (2002)
	BASE
	Show details

8	Face Recognition Using Infrared Imaging
	Pereira, Diogo C.
	In: DTIC AND NTIS (2002)
	BASE
	Show details

9	Computer Programs Supporting Instruction in Acoustics
	Melody, Kevin A.
	In: DTIC AND NTIS (1998)
	BASE
	Show details

10	Cross Model Access in the Multi-Lingual, Multi-Model Database Management System
	Anastasopoulos, Achilles
	In: DTIC AND NTIS (1997)
	BASE
	Show details

11	Implementing Voice Recognition and Natural Language Processing in the NPSNET Networked Virtual Environment.
	DeVilliers, Edward M.
	In: DTIC AND NTIS (1996)
	BASE
	Show details

12	Reactivation of the Relational Interface in M2DBMS and Implementation of the EWIR Database.
	Scrivener, Donna N.; Edwards, Renell D.
	In: DTIC AND NTIS (1996)
	BASE
	Show details

13	Design and Analysis of an Object-Oriented Database of Electronic Warfare Data.
	Coyne, Kevin M.
	In: DTIC AND NTIS (1996)
	BASE
	Show details

14	A Type Inference Algorithm And Transition Semantics For Polymorphic C.
	Oezgen, Mustafa
	In: DTIC AND NTIS (1996)
	BASE
	Show details

15	Design and Implementation of Real-Time Monitor for the Object-Oriented Interface.
	Senocak, Erhan
	In: DTIC AND NTIS (1995)
	BASE
	Show details

16	The Design and Implementation of a Compiler for the Object-Oriented Data Manipulation Language.
	Barbosa, Carlos M.; Kutlusan, Aykut
	In: DTIC AND NTIS (1995)
	BASE
	Show details

17	The Design and Implementation of a Compiler for the Object-Oriented Data Definition Language.
	Ramirez, Luis M.; Tan, Recep
	In: DTIC AND NTIS (1995)
	BASE
	Show details

18	Design and Specification of an Object-Oriented Data Manipulation Language.
	Stephens, Michael W.
	In: DTIC AND NTIS (1995)
	BASE
	Show details

19	Towards an Implementation of Polymorphic C.
	Bonem, Peter B.
	In: DTIC AND NTIS (1995)
	BASE
	Show details

20	Translation of the Data Flow Query Language for the Multimodel, Multibackend Database System
	Free, Nancy C.
	In: DTIC AND NTIS (1994)
	BASE
	Show details

Page: 1 2 3

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern