1–20 von 192 Ergebnissen
|

    Logic Model Checking of Time-Periodic Real-Time Systems

    Florian, Mihai / Gamble, Ed / Holzmann, Gerard | NTRS | 2012
    Schlagwörter: Systems Analysis And Operations Research , software analysis

    Controlling Infrastructure Costs: Right-Sizing the Mission Control Facility

    Martin, Keith / Sen-Roy, Michael / Heiman, Jennifer | NTRS | 2009
    Schlagwörter: Economics And Cost Analysis

    An Operations Concept for Integrated Model-Centric Engineering at JPL

    Bayer, Todd J. / Cooney, Lauren A. / Delp, Christopher L. et al. | NTRS | 2010
    Schlagwörter: Systems Analysis And Operations Research

    NASA SensorWeb: From v2.0 to v3.0 Workflows and WCPS for Space Applications

    Cappelaere, Pat / Mandl, Dan / Frye, Stu | NTRS | 2010
    Schlagwörter: Systems Analysis And Operations Research

    X-1 to X-Wings: Developing a Parametric Cost Model

    S. Sterk / A. McAtee | NTIS | 2015
    Schlagwörter: Cost analysis , Regression analysis , Economic analysis

    The intelligent user interface for NASA's advanced information management systems

    Campbell, William J. / Short, Nicholas, Jr. / Rolofs, Larry H. et al. | NTRS | 1987
    Schlagwörter: Systems Analysis

    A system management methodology for building successful resource management systems

    Hornstein, Rhoda Shaller / Willoughby, John K. | NTRS | 1989
    Schlagwörter: Systems Analysis

    Modeling and Simulation Resource Repository (MSRR)(System Engineering/Integrated M&S Management Approach

    Milroy, Audrey / Hale, Joe | NTRS | 2006
    Schlagwörter: Systems Analysis And Operations Research

    The Advanced Technology Operations System: ATOS

    Kaufeler, J.-F. / Laue, H. A. / Poulter, K. et al. | NTRS | 1993
    Schlagwörter: Systems Analysis

    The instant sequencing task: Toward constraint-checking a complex spacecraft command sequence interactively

    Horvath, Joan C. / Alkalaj, Leon J. / Schneider, Karl M. et al. | NTRS | 1993
    Schlagwörter: Systems Analysis

    Autonomous and Autonomic Swarms

    Hinchey, Michael G. / Rash, James L. / Truszkowski, Walter F. et al. | NTRS | 2005
    Schlagwörter: Systems Analysis And Operations Research

    Head Pose Estimation Using Multilinear Subspace Analysis for Robot Human Awareness

    Ivanov, Tonislav / Matthies, Larry / Vasilescu, M. Alex O. | NTRS | 2009
    Schlagwörter: Numerical Analysis

    Situation Awareness of Onboard System Autonomy

    Schreckenghost, Debra / Thronesbery, Carroll / Hudson, Mary Beth | NTRS | 2005
    Schlagwörter: Systems Analysis And Operations Research

    A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories

    Narkawicz, Anthony / Munoz, Cesar | NTRS | 2015
    Schlagwörter: Numerical Analysis

    HPC Matters! How Supercomputing Supports NASA's Mission

    P. Mehrotra | NTIS | 2019
    Schlagwörter: Data analysis

    Next Generation Remote Agent Planner

    Jonsson, Ari K. / Muscettola, Nicola / Morris, Paul H. et al. | NTRS | 1999
    Schlagwörter: Systems Analysis And Operations Research

    Auctioning Reputation System Based on Anomaly Detection

    S. Rubin / M. Christodorescu / V. Ganapathy et al. | NTIS | 2005
    Schlagwörter: Statistical Analysis , Statistical analysis

    Decision Support System for Extravehicular Operations Under Significant Communication Latency

    T. McGrath / J. Norcross / B. Sparks et al. | NTIS | 2022
    Schlagwörter: Statistical Analysis

    Using the Architecture Tradeoff Analysis MethodSM (ATAMSM) to Evaluate the Software Architecture for a Product Line of Avionics Systems: A Case Study

    M. Barbacci / P. Clements / A. Lattanze et al. | NTIS | 2003
    Schlagwörter: Trade off analysis , Atam(Architecture tradeoff analysis method)

    An Example of a Multi-Object Auction Game

    R. Engelbrecht-Wiggans / R. J. Weber | NTIS | 1979
    Schlagwörter: Multivariate analysis , Analysis of variance