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 71 bis 80 von 377
  1. Till Mossakowski

    Institutional 2-cells and Grothendieck institutions

    In: K. Futatsugi; J.-P. Jouannaud; J. Meseguer (Hrsg.). Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His …

  2. Maksym Bortin; Einar Broch Johnsen; Christoph Lüth

    Structured Formal Development in Isabelle

    In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.

  3. Tim Schwartz; Dominikus Heckmann; Jörg Baus

    Sharing Sensor Data in Instrumented Environments

    In: Proceedings of The Workshop on Ubiquitous Knowledge Discovery for Users. Workshop on Ubiquitous Knowledge Discovery for Users (UKDU-06), located …

  4. Ilhan Aslan; Maximilian Schwalm; Jörg Baus; Antonio Krüger; Tim Schwartz

    Acquisition of spatial knowledge in location aware mobile pedestrian navigation systems

    In: MobileHCI '06: Proceedings of the 8th conference on Human-computer interaction with mobile devices and services. International Conference on …

  5. Matthias Klusch; Andreas Gerber

    Evaluation of Service Composition Planning with OWLS-XPlan

    In: Proceedings of the 2nd IEEE International Workshop on Service Composition. IEEE International Workshop on Service Composition (SerComp-06), …

  6. Matthias Klusch; K.-U. Renner

    Fast Dynamic Re-Planning of Composite OWL-S Services

    In: Proceedings of the 2nd IEEE International Workshop on Service Composition. IEEE International Workshop on Service Composition (SerComp-06), …

  7. Bastian Blankenburg; M. He; Matthias Klusch; N.R. Jennings

    Risk-Bounded Formation of Fuzzy Coalitions Among Service Agents

    In: Proceedings of the 10th International Workshop on Cooperative Information Agents. International Workshop on Cooperative Information Agents …

  8. Matthias Klusch; B. Fries; K. Sycara

    Automated Semantic Web Service Discovery with OWLS-MX

    In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems. International Joint Conference on Autonomous …

  9. A. Lopez; P. Costa; F. Bergenti; Matthias Klusch; Bastian Blankenburg; T. Möller; H. Schuldt

    Context-aware Secure Service Composition Planning and Execution on E-Health Environments

    In: Proceedings of the First European Conference on eHealth. European Conference on eHealth (ECEH-2006), 1st, October 12-13, Fribourg, Switzerland, …

  10. F. Bergenti; C. Caceresz; A. Fernandenz; N. Fröhlicha; H. Helin; Oliver Keller; A. Kinnunen; Matthias Klusch; H. Laamanen; A. Lopez; S. Ossowski; M. Schumacher

    Context-aware Service Coordination for Mobile e-Health Applications

    In: Proceedings of the First European Conference on eHealth. European Conference on eHealth (ECEH-2006), 1st, October 12-13, Fribourg, Switzerland, …