Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 504
  1. Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

    A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

    MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and …

  2. Christoph Igel; Martin Haag

    Innovative e-Learning Technologies in Medicine and Healthcare.

    In: M. Fischer; N Graf (Hrsg.). GMS Medical Informatics, Biometry and Epidemiology (MIBE), 2013.

  3. Matthias Kreil; Kristof Van Laerhoven; Paul Lukowicz

    Allowing early inspection of activity data from a highly distributed bodynet with a hierarchical-clustering-of-segments approach

    In: Body Sensor Networks (BSN), 2013 IEEE International Conference on. IEEE International Conference on Body Sensor Networks (BSN-2013), May 6-9, …

  4. Martin Wirz; Tobias Franke; Eve Mitleton-Kelly; Daniel Roggen; Paul Lukowicz; Gerhard Tröster

    Coenosense: A framework for real-time detection and visualization of collective behaviors in human crowds by tracking mobile devices

    In: Proceedings of the European Conference on Complex Systems 2012. European Conference on Complex Systems (ECCS-2012), Brussels, Belgium, Pages …

  5. Martin Wirz; Eve Mitleton-Kelly; Tobias Franke; Vanessa Camilleri; Matthew Montebello; Daniel Roggen; Paul Lukowicz; Gerhard Troster

    Using mobile technology and a participatory sensing approach for crowd monitoring and management during large-scale mass gatherings

    In: Eve Mitleton-Kelly (Hrsg.). Co-Evolution of Intelligent Socio-Technical Systems: Modelling and Applications in Large Scale Emergency and Transport …

  6. Martin Wirz; Tobias Franke; Daniel Roggen; Eve Mitleton-Kelly; Paul Lukowicz; Gerhard Tröster

    Probing crowd density through smartphones in city-scale mass gatherings

    In: The European Physical Journal - Data Science (EPJ DS), Vol. 2, Pages 1-24, Springer, Berlin, 6/2013.

  7. Tobias Franke; Paul Lukowicz; Martin Wirz; Eve Mitleton-Kelly

    Participatory sensing and crowd management in public spaces

    In: Proceeding of the 11th annual international conference on Mobile systems, applications, and services. International Conference on Mobile Systems, …

  8. Julian Krumeich; Dirk Werth; Peter Loos

    Nutzung des Viewpoint-Konzepts zur Unterstützung kollaborativer Modellierung – Konzeption und prototypische Implementierung

    In: Rainer Alt; Bogdan Franczyk (Hrsg.). Proceedings of the 11th International Conference on Wirtschaftsinformatik. Internationale Tagung …

  9. Tobias Gerber; Charlotta Johnsson

    Vertical Integration of Decision-Relevant Production Information into IT systems of Manufacturing Companies

    In: Theodor Borangiu; André Thomas; Damien Trentesaux. Service Orientation in Holonic and Multi Agent Manufacturing and Robotics. Chapter 10, Vol. …

  10. Rolf Drechsler; Ian Harris; Ecker Wolfgang; Rainer Findenig; Robert Wille

    Design and Verification of Embedded Systems from Natural Language Descriptions

    In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.