Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 182
  1. Mathias Bauer; Dietmar Dengler; Gabriele Paul

    Trainable information agents for the web

    In: H. Lieberman, editor, Your Wish is My Command: Giving Users the Power to Instruct their Software. Morgan Kaufmann Publishers. 2001.

  2. Jörg Baus; Christian Kray; H Zimmer; H Speiser; Antonio Krüger

    Two path relations: Along and past

    In: Proceedings of COSIT 2001. Conference on spatial information theory (COSIT-2001), 2001.

  3. Mathias Bauer; Piotr Gmytrasiewicz; Julita Vassileva

    UM2001-Proceedings of the Eighth International Conference on User Modeling

    2001.

  4. Anthony Jameson

    User-adaptive and other smart adaptive systems: Possible synergies.

    In: Proceedings of the First EUNITE Symposium, Tenerife. EUNITE Symposium, 2001.

  5. Anthony Jameson; Barbara Großmann-Hutter; Leonie March; Ralf Rummer; Thomas Bohnenberger; Frank Wittig

    When actions have consequences: Empirically based decision making for intelligent user interfaces.

    In: Knowledge-Based Systems (KBS), Vol. 14, No. 1-2, Pages 75-92, Elsevier Science B.V. 2001.

  6. Thomas Bohnenberger; Anthony Jameson

    When policies are better than plans: Decision-theoretic planning of recommendation sequences.

    In: J. Lester (Hrsg.). Proceedings of the 6th International Conference on Intelligent User Interfaces. International Conference on Intelligent User …

  7. Heiko Mantel; Andrei Sabelfeld

    A Generic Approach to the Security of Multi-threaded Programs

    In: Proceedings of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cape Breton, Pages 126-142, IEEE …

  8. Heiko Mantel

    Preserving Information Flow Properties under Refinement

    In: Proceedings of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP), Oakland, Pages 78-91, IEEE Computer …

  9. Heiko Mantel

    Information Flow Control and Applications -- Bridging a Gap --

    In: Jose Nuno Olivera; Pamela Zave (Hrsg.). FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods …

  10. Till Mossakowski; Serge Autexier; Dieter Hutter

    Extending development graphs with hiding

    In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering …