1–20 von 81 Ergebnissen
|

Ihre Suche:
publisher:(Association for Computing Machinery)

    Ada in the post deployment software support environment

    Archer, T. | Tema Archiv | 1989
    Verlag: The Association for Computing Machinery , New York

    The selection of an Ada compiler for a real-time embedded avionics application

    Davis, R.E. | Tema Archiv | 1989
    Verlag: The Association for Computing Machinery , New York

    Design and test strategies for a safety-critical embedded executive

    Meyer, C.A. / Reznick, M.G. | Tema Archiv | 1996
    Verlag: ACM - Association for Computing Machinery , New York

    New competitive strategies for searching in unknown star-shaped polygons

    Lee, Jae-Ha / Shin, Chan-Su / Kim, Jae-Hoon et al. | Tema Archiv | 1997
    Verlag: ACM - Association for Computing Machinery , New York

    Integrated premission planning and execution for unmanned ground vehicles

    Durfee, E.H. / Kenny, P.G. / Kluge, K.C. | Tema Archiv | 1997
    Verlag: ACM - Association for Computing Machinery , New York

    Local area metacomputing for multidisciplinary problems: a case study for fluid/structure coupled simulation

    Kimura, T. / Takemiya, H. | Tema Archiv | 1998
    Verlag: ACM - Association for Computing Machinery , New York

    Reusing single system requirements from application family requirements

    Mannion, M. / Keepence, B. / Kaindl, H. et al. | Tema Archiv | 1999
    Verlag: ACM - Association for Computing Machinery , New York

    ASDEN: a comprehensive design framework vision for automotive electronic control systems

    Wilson, D. / Dayton, D. / Hansell, R.T. | Tema Archiv | 2000
    Verlag: ACM - Association for Computing Machinery , New York

    Rendering effective route maps: improving usability through generalization

    Agrawala, M. / Stolte, C. | Tema Archiv | 2001
    Verlag: ACM - Association for Computing Machinery , New York

    Using specification-driven concepts for distributed data management and dissemination

    Blake, M.B. | Tema Archiv | 2002
    Verlag: ACM - Association for Computing Machinery , New York

    Investigating the readability of state-based formal requirements specification languages

    Zimmerman, M.K. / Lundqvist, K. / Leveson, N. | Tema Archiv | 2002
    Verlag: ACM - Association for Computing Machinery , New York

    Learning to predict train wheel failures

    Yang, Chunsheng / Letourneau, Sylvain | Tema Archiv | 2005
    Verlag: ACM - Association for Computing Machinery , New York

    An approach to the pervasive formal specification and verification of an automotive system

    Rieden, Tom in der / Knapp, Steffen | Tema Archiv | 2005
    Verlag: ACM - Association for Computing Machinery , New York

    Requirements of an integrated formal method for intelligent swarms

    Hinchey, M.G. / Rouff, C.A. / Rash, J.L. et al. | Tema Archiv | 2005
    Verlag: ACM - Association for Computing Machinery , New York

    Echo: a practical approach to formal verification

    Strunk, Elisabeth A. / Yin, Xiang / Knight, John C. | Tema Archiv | 2005
    Verlag: ACM - Association for Computing Machinery , New York

    Instantiating generic charts for Railway Interlocking Systems

    Banci, Michele / Fantechi, Alessandro | Tema Archiv | 2005
    Verlag: ACM - Association for Computing Machinery , New York

    Onboard classifiers for science event detection on a remote sensing spacecraft

    Castano, Rebecca / Tang, Nghia / Doggett, Thomas et al. | Tema Archiv | 2006
    Verlag: ACM - Association for Computing Machinery , New York

    Contactless CAN interface - a standard for aftermarket automotive

    Berenger, J.Y. | Tema Archiv | 2006
    Verlag: ACM - Association for Computing Machinery , New York

    CAN-based distributed real-time control in hybrid electric vehicles

    Chacko, R.V. / Lakaparampil, Z.V. / Chandrasekar, V. et al. | Tema Archiv | 2006
    Verlag: ACM - Association for Computing Machinery , New York

    Fibex gateway configuration tool chain

    Lorenz, T. / Taube, J. / Ihle, M. et al. | Tema Archiv | 2006
    Verlag: ACM - Association for Computing Machinery , New York