1–50 von 65 Ergebnissen
|

    Introducing HOOD into software process modelling based environments

    Larre, J.R. / Alfaro, N. / Galan, J.J. et al. | Tema Archiv | 1991
    semantics. The MASP model has been evisaged as part of a third generation software engineering environment framework based on the interpretation of ...

    A Visual Brain Chip Based on Selective Attention for Robot Vision Application

    Wang, Tao / Zheng, Nanning / Mei, Kuizhi | IEEE | 2009
    Due to huge computational loads and the state of art of current hardware, nowadays how to implement real-time vision tasks on a signal chip ...

    A Path Planning System based on 3D Occlusion Detection for Lunar Exploration Rovers

    Mora, Andres / Nagatani, Keiji / Yoshida, Kazuya et al. | IEEE | 2009

    Aspects of the safety analysis of an on-board automatic train operation supervisor

    Bundell, Gary A. | Tema Archiv | 2009
    -haul trains where the driver's experience and the undesirability of relying on the emergency braking capability provided by the ATP system is a ...

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

    Continuing to Improve Telemetry Data Accessibility

    Li, A. / Hu, E. / Olson, C. | IEEE | 2009
    Mission operations personnel require decommutation, plotting, and statistical software to perform ad-hoc data analysis on archived ...

    The Mission Planning Lab: A Visualization and Analysis Tool

    Daugherty, Sarah C. / Cervantes, Benjamin W. | IEEE | 2009
    Administration’s (NASA) Wallops Flight Facility (WFF) capitalizes on the benefits of modeling, simulation, and visualization tools through a project ...

    Title Page iii

    IEEE | 2009

    Organization

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

    A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis

    Fijany, Amir / Barrett, Anthony / Vatan, Farrokh | IEEE | 2009
    on automatic control theory and statistical decision theory, and the other one, known as DX, which is based on artificial intelligence ...

    Title Page i

    IEEE | 2009

    An Exploration of Tiled Architectures for Space Applications

    Kogge, Peter M. / Vance, Megan | IEEE | 2009

    Autonomous Planning and Execution for a Future Titan Aerobot

    Gaines, Daniel / Estlin, Tara / Schaffer, Steve et al. | IEEE | 2009
    plan to respond to new science opportunities. Our technology leverages prior work on the OASIS system for autonomous rover exploration. In this ...

    Policy-Based Design of Human-Machine Collaboration in Manned Space Missions

    Diggelen, Jurriaan van / Bradshaw, Jeffrey M. / Grant, Tim et al. | IEEE | 2009

    The Lunar Laser Communications Demonstration (LLCD)

    Boroson, D. M. / Scozzafava, J. J. / Murphy, D. V. et al. | IEEE | 2009
    ground terminal on the Earth. Tosupport up to 622 Mbps over the approximately400 thousand kilometer link, the system will makeuse of a high peak ...

    A Case for Database Filesystems

    Adams, Philip A. / Hax, John C. | IEEE | 2009

    Rapid Prototyping of Planning & Scheduling Tools

    Cesta, Amedeo / Fratini, Simone / Donati, Alessandro et al. | IEEE | 2009

    Earned Value Management Software Projects

    Hanna, Robert A. | IEEE | 2009
    a four year period, producing 12 releases on their promised delivery dates and projects actual costs that were within 0.3% of the ...

    Author index

    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

    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

    Simulating and Detecting Radiation-Induced Errors for Onboard Machine Learning

    Granat, Robert / Wagstaff, Kiri L. / Bornstein, Benjamin et al. | IEEE | 2009

    Patterned Growth in Extreme Environments

    Boston, Penelope / Curnutt, Jane / Gomez, Ernesto et al. | IEEE | 2009
    Abstract—In the search for life on Mars and other extraterrestrial bodies, one of the biggest problems facing us is, how do we ...

    Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL

    Vassev, Emil / Hinchey, Mike | IEEE | 2009
    NASA exploration missions increasingly rely on the concepts of autonomic computing, exploiting these to increase the survivability of ...

    Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulation

    Pomerantz, Marc I. / Jain, Abhinandan / Myint, Steven | IEEE | 2009

    The Deep Impact Network Experiment Operations Center Monitor and Control System

    Wang, Shin-Ywan / Torgerson, J. Leigh / Schoolcraft, Joshua et al. | IEEE | 2009
    protocol stacks. A Monitor and Control System was created and installed on the administrative node as a multi-tiered internet-based Web application ...

    Introspection-Based Verification and Validation

    Zima, Hans P. / James, Mark L. | IEEE | 2009
    Future missions of deep-space exploration will require an on-board computational capability that can support autonomy and enhanced science ...