61–80 von 202 Ergebnissen
|

    Organization

    IEEE | 2009

    A Workflow Model for Earth Observation Sensor Webs

    Morris, Robert / Dungan, Jennifer / Votava, Petr | IEEE | 2009
    occurring on the Earth’s surface or in the atmosphere. Sensor measurements serve to quantify aspects of these processes that allow Earth ...

    Motor Activity-Perception Based Approach for Improving Teleoperation Systems

    Chellali, Ryad / Dionnet, Fabien / Naceri, Abdeldjallil | IEEE | 2009
    This paper reports on studies we are conducting to evaluate 3D stereoscopic rendering systems accuracy and efficiency. These studies are ...

    Extensible Simulation of Planets and Comets

    Wiser-Orozco, Natalie / Schubert, Keith / Gomez, Ernesto et al. | IEEE | 2009

    Copyright Page

    IEEE | 2009

    Time and Space Partitioning in Spacecraft Avionics

    Windsor, James / Hjortnaes, Kjeld | IEEE | 2009
    , into the spacecraft avionics architecture to manage the growth of mission functions implemented in the on-board software. The paper addresses ...

    SKEYP: AI Applied to SOHO Keyhole Operations

    Policella, Nicola / Oliveira, Henrique / Siili, Tero | IEEE | 2009
    keyhole periods and the need to maximize the return of science data while respecting other constraints, such as limited on-board storage capacity ...

    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

    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 ...

    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

    Viewpoint-Based Test Analysis for Dependable Onboard Flight Software

    Mori, Takao / Iwasaki, Shinya / Ujihara, Shohgo et al. | IEEE | 2009
    ) for various software systems[1]. As part of this activities, test analysis has been conducted on some dependable flight software. The aim is ...

    Automatic Extraction of Planetary Image Features

    Troglio, G. / Benediktsson, J. A. / Moser, G. et al. | IEEE | 2009
    characteristics. In this paper, we propose a new method for the extraction of features from the Lunar surface, based on the combination of several image ...

    Automated Targeting for the MER Rovers

    Estlin, Tara / Castano, Rebecca / Bornstein, Benjamin et al. | IEEE | 2009
    instruments on the Mars Exploration Rover (MER) mission, which currently has two rovers exploring the surface of Mars. Targets for rover remote ...