Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 370.
  1. Thomas Breuel

    The hOCR Microformat for OCR Workflow and Results

    In: Proceedings of the Ninth International Conference on Document Analysis and Recognition. International Conference on Document Analysis and Recognition (ICDAR-07), September 23-26, Curitiba, Brazil, Pages 1063-1067, Vol. 2, ISBN 1520-5363 , 0-7695-2822-8, IEEE Computer Society, Washington, DC, 2007.

  2. Oliver Kutz; Till Mossakowski

    Modules in Transition - Conservativity, Composition, and Colimits

    In: Bernardo Cuenca-Grau; Vasant Honavar; Anne Schlicht; Frank Wolter (Hrsg.). Second International Workshop on Modular Ontologies. International Workshop on Modular Ontologies (WoMO-07), located at Fourth International Conference on Knowledge Capture (K-CAP-07), October 28, Whistler, BC, Canada, CEUR Workshop Proceedings, Vol. 315, CEUR-WS, 2007.

  3. Preserving Privacy in the Web by Using Information Flow Control

    In: Rafael Accorsi; Michael Kreutzer; Andreas Schmidt (Hrsg.). Long-Term and Dynamical Aspects of Information Security. ISBN 978-1600219122, Nova Science Publishers, Inc. 2007.

  4. 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 Associated with CAV 2006, August 21, Seattle, WA, USA, Pages 117-130, Vol. 174, No. 4, Electronic Notes in Theoretical Computer Science, 2007.

  5. 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 (ESORICS-07), September 24 - August 26, Dresden, Germany, Lectures Notes in Computer Science (LNCS), Springer-Verlag, 2007.

  6. 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. 2005, Springer, Düsseldorf, 2007.

  7. Dynamic Product Interfaces: A Key Element for Ambient Shopping Environments

    In: Proc. of 20th Bled eConference, Bled, Slovenia. Bled eConference (BLED-07), 2007.

  8. Wolfgang Maaß; Andreas Filler; Sabine Janzen

    Reasoning on Smart Products in Consumer Good Domains

    In: Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10. European Conference on Ambient Intelligence (AmI-07), Pages 165-173, 2007.

  9. 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 Modeling (UbiDeUM-2007), located at 11th International Conference on User Modeling, UM 2007, June 26, Corfu, Greece, Pages 52-63, online proceedings, 2007.

  10. 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 Human-Computer Interaction with Mobile Devices and Services (MobileHCI-07), 9th, September 9-12, Singapore, Singapore, SIGCHI, ACM, New York, 9/2007.