Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2003
Remove all filters
Displaying results 61 to 70 of 256.

  1. Dieter Hutter; Heiko Mantel; Axel Schairer

    Informationsflußkontrolle als Grundlage für die Scherheit von Multiagentensystemen

    In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Sonderheft Sicherheit, 2003.

  2. Bernd Krieg-Brückner; Dieter Hutter; Christoph Lüth; Erica Melis; Arnd Pötsch-Heffter; Markus Roggenbach; Jan-Georg Smaus; Martin Wirsing

    Towards MultiMedia Instruction in Safe and Secure Systems

    In: Martin Wirsing; Dirk Pattinson; Rolf Hennicker (Hrsg.). 16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 2002). International Workshop on Algebraic Development Techniques (WADT-2002), Frauenchiemsee, Germany, Pages 82-117, Lecture Notes in Computer Science, Vol. 2755, Springer, 2003.

  3. Dieter Hutter

    Deduction as an Engineering Science (invited paper)

    In: Ingo Dahn; Laurent Vigneron (Hrsg.). Proceedings of First-Order Theorem Proving FTP-2003. International Workshop on First-Order Theorem Proving (FTP), Electronic Notes in Theoretical Computer Science, Vol. 86, Issue 1, 2003.

  4. Dieter Hutter

    Maintaining Formal Developments

    In: D. Basin; H. Ganzinger; J. Harrison; A. Pnueli (Hrsg.). Dagstuhl Seminar 03451, Applied Deductive Verification. Dagstuhl Seminare/Workshops, 2003.

  5. Christian Müller; Frank Wittig

    Speech as a Source for Ubiquitous User Modeling

    In: Proceedings of the 9th International Conference on User Modeling (UM 03), Johnstown, USA, 2003. International Conference on User Modeling (UM-03), June 22-26, University of Pittsburgh, Johnstown, PA, USA, 2003.

  6. Martin Klesen; Michael Kipp; Patrick Gebhard; Thomas Rist

    Staging Exhibitions: Methods and tools for modelling narrative structure to produce interactive performances with virtual actors

    In: Virtual Reality, Vol. 7, No. 1, Pages 17-29, 2003.

  7. Anthony Jameson; Stephan Baldes; Thomas Kleinbauer

    Enhancing mutual awareness in group recommender systems.

    In: B. Mobasher S. S. Anand (Eds.), Proceedings of the IJCAI 2003 Workshop on Intelligent Techniques for Web Personalization. International Joint Conference on Artificial Intelligence (IJCAI), 2003.

  8. Frank Wittig; Christian Müller

    Implicit Feedback for User-Adaptive Systems by Analyzing the User's Speech

    In: ABIS-03, Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. GI-Workshop "Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen" (ABIS-03), October 8, Karlsruhe, Germany, abis, 2003.

  9. Michael Kruppa; Antonio Krüger

    Concepts for a combined use of Personal Digital Assistants and large remote displays

    In: Thomas Schulze; Stefan Schlechtweg; Volkmar Hinz (Hrsg.). Proceedings of SimVis 2003. Simulation und Visualisierung (SimVis-03), March 6-7, Magdeburg, Germany, Pages 349-361, ISBN 3-936150-23-0, SCS Publishing House e.V. 2003.

  10. Michael Kruppa; Antonio Krüger; C. Rocchi; O. Stock; M. Zancanaro

    Seamless Personalized TV-like Presentations on Mobile and Stationary Devices in a Museum

    In: Proceedings of the International Conference on Hypermedia and Interactivity in Museums (ICHIM). International Conference on Hypermedia and Interactivity in Museums (ICHIM-03), September 8-12, Paris, France, Pages 1-19, ISBN 1-885363-28-2, Archimuse (CD-Rom), 2003.

Year