Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Oberle, Daniel; Volz, Raphael; Staab, Steffen et al.

An Extensible Ontology Software Environment

Steffen Staab; Rudi Studer (Hrsg). Handbook on Ontologies. Berlin: Springer 2004 S. 299 - 319


Koehler, Hildegard; Bouattour, Sahla; Paulus, Dietrich et al.

Analyse des Herzkranzgefaßbaums für die prä- und post-operative Diagnose

Thomas Tolxdorff; Jürgen Braun; Heinz Handels; Alexander Horsch; Hans-Peter Meinzer (Hrsg). Bildverarbeitung für die Medizin 2004: Algorithmen - Systeme - Anwendungen; Proceedings des Workshops vom 29.-30. März 2004 in Berlin. Berlin: Springer 2004 S. 269 - 273 (Informatik aktuell)


Nurmuliani, Nur; Zowghi, Didar; Fowell, Susan P.

Analysis of Requirements Volatility during Software Development Life Cycle

Paul Strooper (Hrsg). Proceedings of the Australian Software Engineering Confernce ASWEC 2004: 13-16 April 2004; Melbourne, Australia. Los Alamitos, CA: IEEE Computer Society 2004 S. 28 - 37


Algermissen, Lars; Büchel, N.; Delfmann, Patrick et al.

Anforderungen an Virtuelle Rathäuser: Ein Leitfaden für die herstellerunabhängige Softwareauswahl

Münster: Westfälische Wilhelms-Universität Münster, Institut für Wirtschaftsinformatik 2004 49 S. (Westfälische Wilhelms-Universität Münster. Institut für Wirtschaftsinformatik: Arbeitsberichte des Instituts für Wirtschaftsinformatik ; Arbeitsbericht Nr. [109])


Agarwal, Sudhir; Handschuh, Siegfried; Staab, Steffen

Annotation, composition and invocation of semantic web services

Journal of Web Semantics. Bd. 2. H. 1. Amsterdam: Elsevier 2004 S. 31 - 48


Frey, Hannes; Görgen, Daniel; Lehnert, Johannes K. et al.

Auctions in mobile multihop ad-hoc networks following the marketplace communication pattern

Qusay H. Mahmoud; Hans Weghorn (Hrsg). Proceedings of the 3rd International Workshop on Wireless Information Systems WIS in conjunction with the the Sixth International Conference on Enterprise Information Systems ICEIS 2004; April 14-17, 2004; Porto, Portugal. Setúbal: SciTePress 2004 S. 161 - 169


Wimmer, Maria A.; Traunmüller, Roland

Auf dem Weg zu E-Government

Christoph Reichard;Michael Scheske;Tino Schuppan (Hrsg). Das Reformkonzept E-Government: Potenzale - Ansätze - Erfahrungen. Münster: LIT 2004 S. 26 - 35



Jürjens, Jan; Kuhn, Thomas A.

Automated Theorem Proving for Cryptographic Protocols with Automatic Attack Generation

München: Technische Universität München, Institut für Informatik 2004


Jürjens, Jan; Shabalin, Pasha

Automated Verification of UMLsec Models for Security Requirements

Thomas Baar; Alfred Strohmeier; Ana Moreira; Stephen J. Mellor (Hrsg). «UML» 2004 - The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings. Berlin: Springer 2004 S. 365 - 379