Mitre Corporation

About: Mitre Corporation is a company organization based out in Bedford, Massachusetts, United States. It is known for research contribution in the topics: Air traffic control & National Airspace System. The organization has 4884 authors who have published 6053 publications receiving 124808 citations. The organization is also known as: Mitre & MITRE.

Accessing documents using predictive word sequences

Abstract: Methods and systems for accessing documents in document collections using predictive word sequences are disclosed. A method for accessing documents using predictive word sequences include creating a candidate list of word sequences where respective ones of the word sequences comprise one or more elements derived from the document corpus; expanding the candidate list by adding one or more new word sequences, where each new pattern is created by combining one or more elements derived from the document corpus with one of the word sequences currently in the candidate list; determining a predictive power with respect to the subject for respective ones of entries of the candidate list, where the entries include the word sequences and the new word sequences; pruning from the candidate list ones of said entries with the determined predictive power less than a predetermined threshold; and accessing documents from the document corpus based on the pruned candidate list. The expanding of the candidate list can include creating each new pattern as a gapped sequence, where the gapped sequence comprises one of the word sequences and one of said elements separated by zero or more words. Corresponding system and computer readable media embodiments are also disclosed.

Verifying information flow goals in security-enhanced Linux

Abstract: In this paper, we present a systematic way to determine the information flow security goals achieved by systems running a secure O/S, specifically systems running Security-Enhanced Linux. A formalization of the access control mechanism of the SELinux security server, together with a labeled transition system representing an SELinux configuration, provides our framework. Information flow security goal statements expressed in linear temporal logic provide a clear description of the objectives that SELinux is intended to achieve. We use model checking to determine whether security goals hold in a given system. These formal models combined with appropriate algorithms have led to automated tools for the verification of security properties in an SELinux system. Our approach has been used in other security management contexts over the past decade, under the name rigorous automated security management.

The design of the Venus operating system

Abstract: The Venus Operating System is an experimental multiprogramming system which supports five or six concurrent users on a small computer. The system was produced to test the effect of machine architecture on complexity of software. The system is defined by a combination of microprograms and software. The microprogram defines a machine with some unusual architectural features; the software exploits these features to define the operating system as simply as possible. In this paper the development of the system is described, with particular emphasis on the principles which guided the design.

A Statistical Profile of the Named Entity Task

Abstract: In this paper we present a statistical profile of the Named Entity task, a specific information extraction task for which corpora in several languages are available. Using the results of the statistical analysis, we propose an algorithm for lower bound estimation for Named Entity corpora and discuss the significance of the cross-lingual comparisons provided by the analysis.

Collaborative virtual workspace

Abstract: Today’s collaboration tools fall primarily into two categories: “session-centric” tools, such as most desktop video teleconferencing, and “document-centric” tools, such as Lotus Notes and document management systems. Both have important strengths and several weaknesses. For example, session-centric tools support synchronous collaboration, but when the session is over, no trace of the collaboration is left; they don’t support “persistence”. Document centric tooIs may support persistence, but they poorly support real-time collaboration. Consequently, a new type of “place-based” system is being developed at MITRE and elsewhere. This paper describes the ColIaborative VirtuaI Workspace (CVW), a MOObased (Multi-User Dimension, Object Oriented) collaboration framework in which people interact with documents and each other in a shared virtual space, using both synchronous and asynchronous tools. Currently integrated are tools for audio and video conferencing, document management, chat, and whiteboarding. This paper describes current CVW functionality and implementation, discusses initial lessons from deployment within MITRE, and proposes a number of improvements in capability based on those lessons.