21–40 von 68 Ergebnissen
|

    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

    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

    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
    Verlag: 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 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

    Efficient and robust pseudonymous authentication in VANET

    Calandriello, Giorgio / Papadimitratos, Panos / Hubaux, Jean-Pierre et al. | Tema Archiv | 2007
    Verlag: ACM - Association for Computing Machinery , New York

    Probabilistic aggregation for data dissemination in VANETs

    Lochert, Christian / Scheuermann, Björn / Mauve, Martin | Tema Archiv | 2007
    Verlag: ACM - Association for Computing Machinery , New York

    Proceedings of the Fourth ACM International Workshop on Vehicular Ad Hoc Networks : Montréal, Québec, Canada, September 10, 2007

    Association for Computing Machinery, Special Interest Group on Mobility of Systems Users, Data, and Computing | TIBKAT | 2007
    Verlag: Association for Computing Machinery , New York, NY

    A static-node assisted adaptive routing protocol in vehicular networks

    Yong, Ding / Wang, Chen / Li, Xiao | Tema Archiv | 2007
    Verlag: ACM - Association for Computing Machinery , New York

    Optimal data rate selection for vehicle safety communications

    Jiang, Daniel / Delgrossi, Luca / Chen, Qi | Tema Archiv | 2008
    Verlag: ACM - Association for Computing Machinery , New York

    Catch-up: A data aggregation scheme for VANETs

    Yu, Bo / Gong, Jiayu / Xu, Cheng-Zhong | Tema Archiv | 2008
    Verlag: ACM - Association for Computing Machinery , New York

    How to protect privacy in floating car data systems

    Rass, Stefan / Fuchs, Simone / Schaffer, Martin et al. | Tema Archiv | 2008
    Verlag: ACM - Association for Computing Machinery , New York

    Power management techniques for very low consumption and EMI reduction in automotive applications

    Silva, Eduardo R. / Nascimento, Ivan / Behrens, Frank et al. | Tema Archiv | 2008
    Verlag: ACM - Association for Computing Machinery , New York

    Using Immersive Virtual Reality to Evaluate Pedestrian Street Crossing Decisions at a Roundabout

    Wu, H. / Ashmead, D.H. / Bodenheimer, B. | British Library Conference Proceedings | 2009
    Verlag: Association for Computing Machinery

    DTN over aerial carriers

    Keränen, Ari / Ott, Jörg | Tema Archiv | 2009
    Verlag: ACM - Association for Computing Machinery , New York

    A geo-location based opportunistic data dissemination approach for MANETs

    Meyer, Harald / Hummel, Karin Anna | Tema Archiv | 2009
    Verlag: ACM - Association for Computing Machinery , New York

    Detecting driver phone use leveraging car speakers

    Yang, Jie / Sidhom, Simon / Chandrasekaran, Gayathri et al. | Tema Archiv | 2011
    Verlag: ACM - Association for Computing Machinery , New York