List

For best search results, use the search terms first and then apply the filters
Reset

The Award database is continually updated throughout the year. As a result, data for FY19 is not expected to be complete until April, 2020.

  1. Elan: The Event Logic Assistant

    SBC: ATC-NY, Inc.            Topic: AF07T019

    Abstraction has been the most reliable means for gaining intellectual control of complex problems and for extending the scope and scale of our analytical abilities. In the past several years, ATC-NY and Cornell University have developed the formalism of {\em event logic\/}to support specification and reasoning about distributed systems at a very high level of abstraction and the refinement of spe ...

    STTR Phase I 2007 Department of DefenseAir Force
  2. Protoplasm: Automating checks for protocol compatibility

    SBC: ATC-NY, Inc.            Topic: OSD06SP3

    Pervasive networking provides ever-growing opportunities for collaboration among computer systems operating in different domains. These systems may "speak" in their own protocols and data formats; and determining whether two speak in compatible terms can be difficult. Since manual review is costly, time-consuming, and error-prone, the opportunities for cross-domain collaboration can be fully rea ...

    STTR Phase I 2007 Department of DefenseArmy
  3. AppMon: Application Monitors for Not-Yet-Trusted Software

    SBC: ATC-NY, Inc.            Topic: OSD06SP2

    Full certification and testing of application programs provides a level of assurance that they will not harm host systems, but it is expensive and delays use of the application. For this reason, software users are often faced with a vexing dilemma: in order to obtain critical new functionality, they must use software that may damage their systems or render it vulnerable to attack. To address thi ...

    STTR Phase II 2007 Department of DefenseAir Force
  4. Software System Reliability Analysis

    SBC: Grammatech, Inc.            Topic: OSD06SP4

    Reliability is a crucial characteristic in safety-critical systems, yet it can only be measured late in the software development process when changes are difficult and costly. We propose a framework for estimating the risk of software that can be applied early in the software development life-cycle. This framework will use 21st century source code metrics--derived from advanced static analysis a ...

    STTR Phase I 2007 Department of DefenseArmy
  5. Deobfuscating tools for the validation and verification of tamper-proofed software

    SBC: Grammatech, Inc.            Topic: OSD06NC5

    Recently, there has been an increase in the use of anti-tamper techniques (e.g., obfuscation) in all types of software. However, applying anti-tamper techniques is technically challenging, and when applied to large, sophisticated software, there is a danger of introducing subtle bugs, or not introducing sufficient protection. The existing state of anti-tamper technology is undesirable in that it ( ...

    STTR Phase II 2007 Department of DefenseAir Force
  6. An Integrated Approach to Sensor Materials Synthesis, Design and Fabrication for Extreme Temperature Applications

    SBC: MESOSCRIBE TECHNOLOGIES, INC.            Topic: AF07T002

    An approach is proposed to identify, characterize and integrate high temperature materials into harsh environment diagnostic systems. Program partner URI will sputter candidate conductive oxides with continuously varying levels of doping. Test specimens will be fabricated and systematically assessed using combinatorial synthesis to determine which exhibit the most favorable characteristics e.g., ...

    STTR Phase I 2007 Department of DefenseAir Force
  7. Modeling Software and Tools for Reliability Engineering of Micro/Nano-Device Systems and Components

    SBC: SIMMETRIX INC.            Topic: A06T002

    The ability to develop new generations of superior military systems and civilian products requires the use of multifunctional materials and ever smaller components for which key design parameters are associated with nano-scale constituents. The ability to understand and design these materials and components requires the application of multiscale simulation technologies that can account for interac ...

    STTR Phase II 2007 Department of DefenseArmy
  8. Scalable Mobile Wireless Mesh Networks

    SBC: SPECTRACOM CORP.            Topic: AF06T008

    Scaleable, robust and secure networking of unmanned airborne vehicles (UAVs) is an imperative for achieving Air Force objectives in deploying future effects-based operations (EBO). UAVs of the future must overcome degrading network conditions to transfer critical data for reach-back operations, support peer-peer communications, and operate in high mobility environments. To meet these needs we pro ...

    STTR Phase I 2007 Department of DefenseAir Force
  9. Tetrahymena thermophila as a Novel Recombinant and Engineered Protein Accumulation System (REPAS)

    SBC: Tetragenetics, Inc.            Topic: A06T015

    Recombinant proteins are critically important in a wide range of applications that extend from the treatment of human and animal disease, to chemical and biological defense. Production of genetically engineered vaccine antigens, therapeutic proteins (including monoclonal antibodies), industrial enzymes, biopolymers, and bioremediation agents now constitutes a multibillion dollar-per-year industry. ...

    STTR Phase II 2007 Department of DefenseArmy
  10. Application of Cortical Processing Theory to Acoustical Analysis

    SBC: Advanced Acoustic Concepts, Inc.            Topic: AF03T006

    Advanced Acoustic Concepts, Inc. (AAC) proposes to extend its Phase I work in Auditory Cortex based sound classification. During Phase I AAC demonstrated the feasibility and accuracy of a computational model of human auditory processing based upon this cortical theory. AAC also demonstrated the concept by collecting a large number speech sounds and bird calls of various species and appling the cor ...

    STTR Phase II 2005 Department of DefenseAir Force

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government