Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 370.
  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. Pedro Santos; André Stork; Thomas Gierlinger; Alain Pagani; Bruno Araújo; Ricardo Jota; Luis Bruno; Joaquim Jorge; Joao Madeiras Pereira; Martin Witzel; Giuseppe Conti; Raffaele De Amicis; Iñigo Barandarian; Céline Paloc

    IMPROVE: An innovative application for collaborative mobile mixed reality design review

    In: International Journal on Interactive Design and Manufacturing (IJIDeM), Vol. 1, Pages 1-12, Springer, 2007.

  6. Pedro Santos; André Stork; Thomas Gierlinger; Alain Pagani; Céline Paloc; Giuseppe d Conti; Raffaele DeAmicis; Inigo Barandarian; Celine Paloc; Oliver Machui; Georg Bodammer; Jose Manuel Jiménez; Don McIntyre

    IMPROVE: Designing Effective Interaction for Virtual and Mixed Reality Environments

    In: Proceedings. Human Computer Interaction International Conferences (HCII-2007), 12th, July 22-27, Beijing, China, 2007.

  7. Pedro Santos; André Stork; Thomas Gierlinger; Alain Pagani; Bruno Araújo; Ricardo Jota; Luis Bruno; Joaquim Jorge; Joao Madeiras Pereira; Martin Witzel; Giuseppe Conti; Raffaele De Amicis; Iñigo Barandarian; Céline Paloc; Oliver Machui; Jose M. Jiménez; Georg Bodammer; Don McIntyre

    IMPROVE: Collaborative Design Review in Mobile Mixed Reality

    In: Proceedings. Human Computer Interaction International Conferences (HCII-2007), located at 12th, July 22-27, Beijing, China, 2007.

  8. Pedro Santos; André Stork; Thomas Gierlinger; Alain Pagani; Bruno de Araujo; Ricardo Jota; Luis Bruno; Joaquim Jorge; Joao Madeiras Pereira; Martin Witzel; Giuseppe Conti; Raffaele de Amicis; Inigo Barandarian; Céline Paloc; Maylu Hafner; Don McIntyre

    IMPROVE: Advanced Displays and Interaction Techniques for Collaborative Design Review

    In: Proceedings. Human Computer Interaction International Conferences (HCII-2007), 12th, July 22-27, Beijing, China, 2007.

  9. Mario Becker; Gabriele Bleser; Alain Pagani; Didier Stricker; Harald Wuest

    An Architecture for Prototyping and Application Development of Visual Tracking Systems

    In: 2007 3DTV Conference. 3DTV Conference (3DTV-2007), May 7-9, Kos Island, Greece, IEEE, 11/2007.

  10. Klaus-Dieter Althoff; Kerstin Bach; Jan-Oliver Deutsch; Alexandre Hanft; Jens Mänz; Thomas Müller; Régis Newo; Meike Reichle; Martin Schaaf; Karl-Heinz Weis

    Collaborative Multi-Expert-Systems - Realizing Knowledge-Lines with Case Factories and Distributed Learning Systems

    In: Joachim Baumeister; Dietmar Seipel (Hrsg.). Proceedings of the 3rd Workshop on Knowledge Engineering and Software Engineering. Workshop on Knowledge Engineering and Software Engineering (KESE-2007), located at 30th German Conference on Artificial Intelligence (KI-2007), September 10, Osnabrück, Germany, Vol. 282, CEUR, 9/2007.