21–30 of 102 hits
|

    Learning to predict train wheel failures

    Yang, Chunsheng / Letourneau, Sylvain | Tema Archive | 2005
    Publisher: 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 Archive | 2005
    Publisher: 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 Archive | 2005
    Publisher: ACM - Association for Computing Machinery , New York

    Echo: a practical approach to formal verification

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

    Instantiating generic charts for Railway Interlocking Systems

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

    Proceedings of the Second ACM International Workshop on Vehicular Ad Hoc Networks : September 2, 2005, Cologne, Germyn ; held in conjunction with MobiCom 2005

    International Workshop on Vehicular Ad Hoc Networks / MobiCom / Association for Computing Machinery, Special Interest Group on Mobile Computing and Communications | TIBKAT | 2005
    Publisher: Association for Computing Machinery , New York, NY

    Onboard classifiers for science event detection on a remote sensing spacecraft

    Castano, Rebecca / Tang, Nghia / Doggett, Thomas et al. | Tema Archive | 2006
    Publisher: 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 Archive | 2006
    Publisher: ACM - Association for Computing Machinery , New York

    Contactless CAN interface - a standard for aftermarket automotive

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

    Fibex gateway configuration tool chain

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