Skip to main content Skip to main navigation

Publikationen

 

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

Zeige Ergebnisse 111 bis 120 von 182
  1. Heiko Mantel; Axel Schairer; Matthias Kabatnik; Michael Kreutzer; Alf Zugenmaier

    Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks

    Technical Report, Vol. 159, 8/2001.

  2. A Pragmatic Approach to Reuse in Tactical Theorem Proving

    In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on …

  3. Dieter Hutter; Klaus Fischer; Matthias Klusch; Werner Stephan

    Towards Secure Mobile Multiagent Based Electronic Marketplace Systems

    In: Proceedings Workshop on Security in Mobile Multiagent Systems, SEMAS-2001, Autonomous Agents 2001. Workshop on Security in Mobile Multiagent …

  4. Dieter Hutter; Axel Schairer

    Towards an Evolutionary Formal Software Development

    In: Proceedings 16th IEEE International Conference on Automated Software Engineering, ASE-2001. IEEE International Conference on Automated Software …

  5. REAL: Ein ressourcenadaptierendes mobiles Navigationssystem

    In: Informatik - Forschung und Entwicklung, Vol. 16, No. 4, Pages 233-241, Springer, Berlin, Heidelberg, 11/2001.

  6. Christian Müller; Anthony Jameson; B. Großmann-Hutter; R. Rummer; Frank Wittig

    Recognizing Time Pressure and Cognitive Load on the Basis of Speech: An Experimental Study

    In: M. Bauer, P. Gmytrasiewicz, & J. Vassileva (Eds.), UM2001, User Modeling: Proceedings of the Eighth International Conference. Berlin: Springer. …

  7. Anthony Jameson; Christian Müller; B. Großmann-Hutter; R. Rummer; Frank Wittig

    Recognizing time pressure and cognitive load on the basis of speech: An experimental study.

    In: M. Bauer; P. Gmytrasiewicz; J. Vassileva (Hrsg.). Proceedings of the Eighth International Conference on User Modeling. International Conference on …

  8. Rolf-Hendrik van Lengen; Jan-Thies Bähr ; Hofmann R

    Basic Application State Tracker

    2001.

  9. Rolf-Hendrik van Lengen; Marrow P; Koubarakis M; Valverde-Albacete F

    Agents in Decentralised Information Ecosystems: the DIET Approach

    In: Proceedings of the AISB'01 Symposium on Information Agents for Electronic Commerce. York: The Society for the Study of Artificial Intelligence and …

  10. Hans Hagen; Jan Frey; B. Hamann; Boris Jeremic; K. I. Joy; G. Scheuermann

    Visualization of Seismic Soils Structure Simulations

    In: Proceedings of IASTED International Conference on Visualization, Imaging, and Image Processing, M.H. Hamza (ed.), ACTA Press, Anaheim, 2001,. …