Skip to main content Skip to main navigation

Publications

Displaying results 51 to 60 of 377.
  1. K. Morik; Martin Mühlenbrock

    Scientific Discovery Investigating Multi-Step Learning

    In: In Order to Learn, Oxford University Press, New York, NY, 2006.

  2. Martin Mühlenbrock

    Learning group formation based on learner profile and context

    In: International Journal on E-Learning (IJEL), Vol. 5, No. 1, Pages 19-24, 2006.

  3. Erica Melis; Giorgi Goguadze; Martin Homik; Paul Libbrecht; Carsten Ullrich; Stefan Winterstein

    Semantic-Aware Components and Services of ActiveMath

    In: British Journal of Educational Technology, Vol. 37, No. 3, Pages 405-423, Wiley Blackwell, 5/2006.

  4. Fernando Godínez; Dieter Hutter; Raul Monroy

    On the Use of Word Networks to Mimicry Attack Detection

    In: Günter Müller (Hrsg.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. …

  5. Possibilistic Information Flow Control in MAKS and Action Refinement

    In: Günter Müller (Hrsg.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. …

  6. Dieter Hutter; Matthias Klusch; Melanie Volkamer

    Information Flow Analysis Based Security Checking of Health Service Composition Plans

    In: Proccedings of the 1st European Conference on eHealth (ECEH06). European Conference on eHealth (ECEH), Fribourg, Lecture Notes in Informatics, …

  7. Dieter Hutter; Melanie Volkamer; Matthias Klusch; Andreas Gerber

    Provably Secure Execution of Composed Semantic Web Services

    In: Proccedings of the 1st International Workshop on Privacy and Security in Agent-based Collaborative Environments. International Workshop on Privacy …

  8. Dieter Hutter; Melanie Volkamer

    Information Flow Control to Secure Dynamic Web Service Composition.

    In: Proceedings of the 3rd International Conference on Security in Pervasive Computing, SPC-2006. International Conference on Security in Pervasive …

  9. Till Mossakowski; Serge Autexier; Dieter Hutter

    Development Graphs -- Proof Management for Structured Specifications

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1--2, Pages 114-145, 2006.

  10. Web 3.0: Convergence of Web 2.0 and the Semantic Web

    In: Technology Radar, Vol. Feature Paper Edition II/2006, Pages 1-23, Deutsche Telekom Laboratories, 6/2006.