61–67 von 67 Ergebnissen
|

    Using specification-driven concepts for distributed data management and dissemination

    Blake, M.B. | Tema Archiv | 2002
    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

    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

    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

    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

    VHP: Approximate Nearest Neighbor Search via Virtual Hypersphere Partitioning

    Freier Zugriff
    Lu, Kejing / Wang, Hongya / Wang, Wei et al. | BASE
    Verlag: Association for Computing Machinery (ACM) , Hokkaido University Collection of Scholarly and Academic Papers (HUSCAP)

    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