Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 370
  1. Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter

    A method for patching interleaving-replay attacks in faulty security protocols

    In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging. Workshop on Verification and Debugging (V&D-2006), located at …

  2. Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter

    On the Automated Correction of Security Protocols Susceptible to a Replay Attack

    In: J. Biskup (Hrsg.). Proceedings of the 12th European Symposium On Research In Computer Security. European Symposium on Computer Security …

  3. Kopplung von Zutrittskontrolle und Raumautomation - Eine Basis für die Interaktion mit einer intelligenten Umgebung

    In: VDI-Gesellschaft (Hrsg.). 8. Fachtagung Gebäudesicherheit und Gebäudeautomation - Koexistenz oder Integration?. Pages 37-48, VDI Berichte, Vol. …

  4. Jan Alexandersson; Tillmann Becker

    Efficient Computation of Overlay for Multiple Inheritance Hierachies in Discourse Modeling

    In: Harry Bunt; Reinhard Muskens. Computing Meaning. Pages 423-455, Studies in Linguistics and Philosophy, Vol. 3, Kluwer, Dordrecht, 2007.

  5. Enriching input in Statistical Machine Translation

    Mastersthesis, School of Informatics, University of Edinburgh, 8/2007.

  6. Modelling Personality in Voices of Talking Products Through Prosodic Parameters

    In: Proceedings of the 10th International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI-07), …

  7. Boris Brandherm; Helmut Prendinger; Mitsuru Ishizuka

    Interest estimation based on dynamic bayesian networks for visual attentive presentation agents

    In: Proceedings of the 9th international conference on Multimodal interfaces. International Conference on Multimodal Interfaces (ICMI-07), November …

  8. Christoph Stahl; Dominikus Heckmann; Tim Schwartz; Oliver Fickert

    Here and Now: A User-Adaptive and Location-Aware Task Planner

    In: Proceedings of International Workshop on Ubiquitous and Decentralized User Modeling. International Workshop on Ubiquitous and Decentralized User …

  9. Christoph Stahl

    The Roaring Navigator: A Group Guide for the Zoo with Shared Auditory Landmark Display

    In: Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services. International Conference on …

  10. Stefan Münzer; Christoph Stahl

    Providing Individual Route Instructions for Indoor Wayfinding in Complex, Multi-Level Buildings

    In: GI-Days 2007 Young Researchers Forum. Geoinformatik (GI-Days-2007), Young Researchers Forum, September 10-12, Münster, Germany, Pages 241-246, …