1–20 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 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 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 ...

    Enhancing Collaboration among NASA Engineers through a Knowledge Sharing System

    Topousis, Daria E. / Means, Erin K. / Murphy, Keri S. et al. | IEEE | 2009
    search, communities of practice, an expertise locator, and a centralized engineering portal. The paper includes details on how the components ...

    Dshell++: A Component Based, Reusable Space System Simulation Framework

    Lim, Christopher S. / Jain, Abhinandan | IEEE | 2009

    Increasing the Efficiency of Next-Generation Space Operations by Exploiting Predictability

    Fischer, Daniel / Eckstein, Knut / Basin, David et al. | IEEE | 2009
    in delay-tolerant networking. Finally, we analyze the operational impact and capabilities of the routing protocol on spacecraft commanding ...

    A Fault-Tolerant Middleware Switch for Space Applications

    Montenegro, Sergio / Haririan, Ebrahim | IEEE | 2009
    systems. This paper presents a novel multicast embedded middleware switch which at the first implementation is fully implemented on an FPGA. SRAM ...

    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