DE eng

Search in the Catalogues and Directories

Page: 1...4 5 6 7 8 9 10 11 12...37
Hits 141 – 160 of 723

141
Managing fieldwork data with Toolbox and the Natural Language Toolkit
BASE
Show details
142
Watch out! Unicode is coming
BASE
Show details
143
Dictionary Development Program
Moe, Ronald. - 2007
BASE
Show details
144
Off the cassette tape and onto CD: migrating analog audio data to digital format
Mead, David. - 2007
BASE
Show details
145
Following natural language route instructions
BASE
Show details
146
Clustering methodologies for identifying country core competencies
Kostoff, Ronald N.; del Rio, J. Antonio; Cortes, Héctor D.. - : Sage Publications Ltd, 2007
BASE
Show details
147
Trust in Security-Policy Enforcement Mechanisms
In: DTIC (2006)
Abstract: This project investigated language-based approaches for enforcing security policies and proactive approaches for implementing trustworthy distributed services. One avenue of language-based work produced Cyclone, a type-safe variant of C. The Cyclone language retains the familiar syntax and semantics of C code. but provides the strong security guarantees of modern languages such as Java. A second avenue of language-based work explored a general class of policy enforcement mechanism based on in-line reference monitors (IRM), which insert checks and actions in an application to ensure the resulting code will respect the policy when executed. The class of policies enforceable through IRMs was shown not to correspond to any class of the Kleene hierarchy. In addition. a certified IRM rewriter framework was developed for Microsoft NET code. It produces explicit evidence so an independent proof checker can determine that rewritten code respects a desired security policy. Finally. proactive obfuscation was investigated as a basis for achieving independence of server replicas comprising a service. This resulted in new agreement protocols to handle servers that periodically have their storage purged and reloaded (to eliminate undetectably compromised code and data). It also produced a semantic characterization of how obfuscation compares with strong typing, finding that the two are comparable, a surprising result.
Keyword: *PROGRAMMING LANGUAGES; CERTIFYING COMPILATION; CODING; COMPUTER APPLICATIONS; Computer Programming and Software; COMPUTER PROGRAMS; Information Science; INFORMATION SECURITY; INLINED REFERENCE MONITOR; JAVA PROGRAMMING LANGUAGE; LANGUAGE-BASED SECURITY; TRUSTWORTHY SYSTEMS
URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA444727
http://www.dtic.mil/docs/citations/ADA444727
BASE
Hide details
148
From Cognition To Language: The Modeling Field Theory Approach
In: DTIC (2006)
BASE
Show details
149
Automated Communications Analysis System using Latent Semantic Analysis
In: DTIC (2006)
BASE
Show details
150
A Hybrid Approach for QA Track Definitional Questions
In: DTIC (2006)
BASE
Show details
151
Semantic Web Services with Web Ontology Language (OWL-S) - Specification of Agent-Services for DARPA Agent Markup Language (DAML)
In: DTIC (2006)
BASE
Show details
152
Exploring the Utility of ResearchCyc for Reasoning from Natural Language
In: DTIC (2006)
BASE
Show details
153
3D Photonic Crystals Build Up By Self-Organization Of Nanospheres
In: DTIC (2006)
BASE
Show details
154
A Methodology for End-to-End Evaluation of Arabic Document Image Processing Software
In: DTIC (2006)
BASE
Show details
155
A new mass elicitation technique: the dictionary development program
Berg, René van den; Shore, Susan. - : Linguistic Society of the Philippines and SIL International, 2006
BASE
Show details
156
One dictionary, one language, one team, but different locations? Version control and file management turn chaos into quality
Grimes, Charles E.. - : Linguistic Society of the Philippines and SIL International, 2006
BASE
Show details
157
The SIL FieldWorks language explorer approach to morphological parsing
BASE
Show details
158
Ensuring that digital data last: the priority of archival form over working form and presentation form
Simons, Gary F.. - : SIL, 2006
BASE
Show details
159
A CAI program for teaching Filipino
McFarland, Curtis D.. - : Linguistic Society of the Philippines and SIL International, 2006
BASE
Show details
160
Extending WebCrow into English
BASE
Show details

Page: 1...4 5 6 7 8 9 10 11 12...37

Catalogues
0
0
0
0
0
0
2
Bibliographies
0
0
0
0
0
0
0
0
19
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
702
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern