Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2007
Alle Filter entfernen
Zeige Ergebnisse 61 bis 70 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. Bernd Krieg-Brückner; Antonio Krüger; M. Hoffmeister; Christoph Lüth

    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. Christoph Stahl; Dominikus Heckmann; Tim Schwartz; Oliver Fickert

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

    In: International Workshop on Ubiquitous and Decentralized User Modeling (UbiDeUM\2007). International Conference on User Modeling (UM), 11th, June …

  5. Christian Müller (Hrsg.)

    Speaker Classification - Fundamentals, Features, and Methods

    Lectures Notes in Artificial Intelligence (LNCS/LNAI), Vol. 1, ISBN 978-3-540-74186-2, Springer, Heidelberg, 2007.

  6. Andreas Kerren; Achim Ebert; Jörg Meyer (Hrsg.)

    Human-Centered Visualization Environments

    Lecture Notes in Computer Science (LNCS), ISBN 978-3540719489, Springer-Verlag Gmbh, 2007.

  7. Mark Hillebrand; Wolfgang Paul

    On the Architecture of System Verification Environments

    In: Karen Yorav (Hrsg.). Hardware and Software, Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, …

  8. Feiyu Xu

    Bootstrapping Relation Extraction from Semantic Seeds

    PhD-Thesis, Saarland University, 2007.

  9. Anette Frank; Hans-Ulrich Krieger; Feiyu Xu; Hans Uszkoreit; Berthold Crysmann; Ulrich Schäfer

    Question Answering from Structured Knowledge Sources

    In: Journal of Applied Logic, Vol. 5, No. 1, Pages 20-48, 2007.

  10. Feiyu Xu; Hans Uszkoreit; Hong Li

    A Seed-driven Bottom-up Machine Learning Framework for Extracting Relations of Various Complexity

    In: Proceedings of ACL 2007, 45th Annual Meeting of the Association for Computational Linguistics. Annual Conference of the North American Chapter of …

Jahr