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

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


Jürjens, Jan; Buda, Lidiya

Berechtigungsvergabe in SAP Systemen und ihre automatische Überprüfung

Datenschutz und Datensicherheit. Bd. 28. H. 8. Berlin: Springer 2004 S. 476 - 479


Haase, Peter; Schnizler, Björn; Broekstra, Jeen et al.

Bibster - a semantics-based bibliographic Peer-to-Peer system

Journal of Web Semantics. Bd. 2. H. 1. Amsterdam: Elsevier 2004 S. 99 - 103


Haase, Peter; Broekstra, Jeen; Ehrig, Marc et al.

Bibster - A Semantics-Based Bibliographic Peer-to-Peer System

Sheila A. McIlraith; Dimitris Plexousakis; Frank Harmelen (Hrsg). The Semantic Web - ISWC 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings. Berlin: Springer 2004 S. 122 - 136


Schubert, Petra

Case Study Triamun: Solving IT Integration Problems in the Health Care Sector with the Innovative Use of an ASP Software Solution

Peter Wivagg; Nicholas Romano (Hrsg). Proceedings of the 10th Americas Conference on Information Systems AMCIS 2004: August 6-8, 2003; New York. Atlanta, GA: Association for Information Systems/AIS eLibrary 2004 S. 2601 - 2609


Cimiano, Philipp; Hotho, Andreas; Staab, Steffen

Clustering Concept Hierarchies from Text

Maria Teresa Lino (Hrsg). Fourth International Conference on Language Resources and Evaluation LREC 2004: Proceedings of the pre-satellite workshops, the main conference and post-conference workshops held in memory of Antonio Zampolli; May 24-30, 2004, Lisbon, Portugal; Volume 5. Paris: ELRA 2004 S. 1721 - 1724