61–70 von 102 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

    Charging scheduling with minimal waiting in a network of electric vehicles and charging stations

    Qin, Hua / Zhang, Wensheng | Tema Archiv | 2011
    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

    Toward understanding characteristics of dedicated short range communications (DSRC) from a perspective of vehicular network engineers

    Bai, Fan / Stancil, Daniel D. / Krishnan, Hariharan | Tema Archiv | 2010
    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

    Installation and evaluation of RFID readers on moving vehicles

    Lee, Eun-Kyu / Yoo, Young Min / Park, Chan Gook et al. | Tema Archiv | 2009
    Verlag: ACM - Association for Computing Machinery , New York

    PeerTIS - a peer-to-peer traffic information system

    Rybicki, Jedrzej / Scheuermann, Björn / Koegel, Markus et al. | Tema Archiv | 2009
    Verlag: ACM - Association for Computing Machinery , New York

    A simulation study of traffic efficiency improvement based on car-to-x communication

    Schumacher, Henrik / Priemer, Christian / Slottke, Eric N. | Tema Archiv | 2009
    Verlag: ACM - Association for Computing Machinery , New York

    Coordinated VANET experiments - a methodology and first results

    Kerper, Markus / Kiess, Wolfgang / Mauve, Marin | Tema Archiv | 2009
    Verlag: ACM - Association for Computing Machinery , New York

    GPS-aided recognition-based user tracking system with augmented reality in extreme large-scale areas

    Guan, Wei / You, Suya / Neumann, Ulrich | Tema Archiv | 2010
    Verlag: ACM - Association for Computing Machinery , New York