81–100 von 217 Ergebnissen
|

    Model Based Analysis and Test Generation for Flight Software

    Pasareanu, Corina S. / Schumann, Johann / Mehlitz, Peter et al. | IEEE | 2009
    analysis and test case generation that, to the best of our knowledge, have not been addressed before. The framework is based on a common ...

    Fault Detection and Isolation of a Cryogenic Rocket Engine Combustion Chamber Using a Parity Space Approach

    Gelder, Paul van / Bos, André | IEEE | 2009
    approach on a real-time platform and testing it against data from combustion chamber test runs. Future work needs to investigate the robustness of ...

    A Combinatorial Test Suite Generator for Gray-Box Testing

    Barrett, Anthony / Dvorak, Daniel | IEEE | 2009

    Cover Art

    IEEE | 2009

    An Autonomous System for the Locomotion of a Hexapod Exploration Robot

    Munoz-Martinez, Pablo / R-Moreno, María D. / Gomez-Elvira, Javier et al. | IEEE | 2009

    Mini-Workshops

    IEEE | 2009

    Prototype Implementation of a Goal-Based Software Health Management Service

    Barry, Matthew / Horvath, Gregory | IEEE | 2009
    implementation. In particular, we focus on showing how this combination enables reasoning about and recovering from application software problems. Our ...

    The MECA Project - Ontology-Based Data Portability for Space Missions

    Breebaart, Leo / Bos, André / Grant, Tim et al. | IEEE | 2009

    Integrated Information Architectures for Space Missions

    Hartman, Leo | IEEE | 2009
    Current information management solutions for space missions are heavily based on manual operations. An integrated information architecture ...

    Integrating Software Technologies in RAXEM2 - AI Meets Information Technology

    Bernardi, Giulio / Cesta, Amedeo / Cortellessa, Gabriella | IEEE | 2009
    functionalities and capture the entire life-cycle of the plan uplink problem. RAXEM2 has been released for daily use on March 2009 replacing previous work ...

    Web 2.0 for Ground Resource Allocation

    Wang, Yeou-Fang / Schrock, Mitchell / Baldwin, John et al. | IEEE | 2009

    Frequency Modulation Based Vibrotactile Device for Teleoperation

    Pham, H. Phong / Chellali, Ryad | IEEE | 2009
    subjects reach a target situated on a line. The second one is 2D and the target is in the horizontal plane. The results we obtained showed that ...

    A Reusable Process Control System Framework for the Orbiting Carbon Observatory and NPP Sounder PEATE Missions

    Mattmann, Chris A. / Freeborn, Dana / Crichton, Dan et al. | IEEE | 2009
    ), which has already supported the QuikSCAT, SeaWinds and AMT earth science missions. This paper focuses on PCS within the context of two current ...

    A Graphical Environment for the Semantic Validation of a Plan Execution Language

    Rocha, Camilo / Munoz, César / Cadavid, Héctor | IEEE | 2009

    Knowledge Management Guided by Economic Valuation Models

    Sutton, Stewart A. / Betser, Joseph | IEEE | 2009
    practice (CoP) and other contributors. We consider the increasing impact of Social Software (SSW) on a modern KM enterprise and regard the ...

    Sequential Principal Component Analysis - A Hardware-Implementable Transform for Image Compression

    Duong, Tuan A. / Duong, Vu A. | IEEE | 2009
    , based on “dominant-term selection” unsupervised learning technique that requires an order-of-magnitude lesser computation and ...