21–40 von 59 Ergebnissen
|

    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

    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

    Contactless CAN interface - a standard for aftermarket automotive

    Berenger, J.Y. | 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

    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

    Emergency braking: a study of network and application performance

    Segata, Michele / Lo Cigno, Renato | Tema Archiv | 2011
    Verlag: ACM - Association for Computing Machinery , New York

    Multimodal interaction in the car - Combining speech and gestures on the steering wheel

    Pfleging, Bastian / Schneegass, Stefan / Schmidt, Albrecht | Tema Archiv | 2012
    Verlag: ACM - Association for Computing Machinery , New York

    Standardizing model-based in-vehicle infotainment development in the german automotive industry

    Hess, Steffen / Gross, Anne / Maier, Andreas et al. | Tema Archiv | 2012
    Verlag: ACM - Association for Computing Machinery , New York