Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2001
Remove all filters
Displaying results 111 to 120 of 182.

  1. Ralph Schäfer; Liliana Ardissono; Alexander Felfernig; Gerhard Friedrich; Dietmar Jannach; Markus Zanker

    The CAWICOMS Project.

    In: Proceedings of Elektronische Geschätsprozesse. Klagenfurt, 2001. Internationale Arbeitskonferenz Elektronische Geschäftsprozesse (EGP), 2001.

  2. 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 (FASE), Springer, LNCS, 2001.

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

  4. Axel Schairer; Serge Autexier; Dieter Hutter

    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 Automated Reasoning, IJCAR-2001. International Workshop on Strategies in Automated Deduction (STRATEGIES), Siena, 2001.

  5. 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 Systems (SEMAS), Montreal, 2001.

  6. 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 Engineering (ASE), San Diego, IEEE Computer Society, 2001.

  7. Jörg Baus; Christian Kray; Yun Ding; Ulrich Walther

    Towards adaptive location-aware assistants

    In: Procceedings of AIMS 2001. Workshop on Artificial Intelligence in Mobile Systems (AIMS), 2001.

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

  9. Andreas Abecker; Heiko Maus; Ansgar Bernardi

    Software-Unterstützung für das Geschäftsprozesorientierte Wissensmanagement

    In: Heinz-Jürgen Müller; Andreas Abecker; Knut Hinkelmann; Heiko Maus (Hrsg.). Proceedings des Workshops "Geschäftsprozessorientiertes Wissensmanagement - Von der Strategie zum Content". Workshop "Geschäftsprozessorientiertes Wissensmanagement - Von der Strategie zum Content", located at Professionelles Wissensmanagement - Erfahrungen und Visionen (WM-2001), March 14-16, Baden-Baden, Germany, DFKI Documents (D), Vol. 01-02, DFKI, 2001.

  10. Andreas Abecker; Ansgar Bernardi; Michael Sintek; Knut Hinkelmann

    Enterprise Information Infrastructures for Active, Context-Sensitive Knowledge Delivery

    In: Stuart Barnes. Knowledge Management Systems: Theory and Practice. International Thomson Business Press, 2001.

Year