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

Grünbauer, Johannes; Jürjens, Jan; Wimmel, Guido

Modelling Secure IT Systems - A Survey

Wolfgang Hesse; Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 307 - 308


Grünbauer, Johannes; Jürjens, Jan; Wimmel, Guido

Modelling Secure IT-Systems â A Survey

Modellierung 2004. Marburg. 2004


Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe

Modular Proof Systems for Partial Functions with Weak Equality

David Basin; Michaël Rusinowitch (Hrsg). Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Berlin: Springer 2004 S. 168 - 182


Hasan, Sasa; Harbusch, Karin

N-Best Hidden Markov Model Supertagging to Improve Typing on an Ambiguous Keyboard

Owen Rambow; Matthew Stone (Hrsg). Proceedings of the 7th International Workshop on Tree Adjoining Grammar and Related Formalisms TAG+ 2004: Simon Fraser University, Vancouver, Canada; May 20-22, 2004. Vancouver, Canada: Simon Fraser University 2004 S. 24 - 31


Fislake, Martin; Meschenmoser, Helmut

Ohne Digitaltechnik geht es nicht mehr. Zum Verständnis der Mikroelektronik durch Unterricht.

Unterricht Arbeit + Technik. Bd. 5. H. 21. Seelze: Friedrich 2004 S. 4


Sure, York; Staab, Steffen; Studer, Rudi

On-To-Knowledge Methodology (OTKM)

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


Preece, Jennifer; Schubert, Petra; Tan, Yao-Hua

Online Communities in the Digital Economy (INOCD) Mini Track Introduction: “Online Communities in the Digital Economy”

Ralph H. Sprague (Hrsg). Proceedings of the 37th Annual Hawaii International Conference on System Sciences HICSS 2004: Big Island, Hawaii; 5-8 January, 2004. Los Alamitos, CA: IEEE Computer Society 2004 S. 197


Sofia Pinto, Helena; Staab, Steffen; Sure, York et al.

OntoEdit Empowering SWAP: a Case Study in Supporting DIstributed, Loosely-Controlled and evolvInG Engineering of oNTologies (DILIGENT)

Christoph J. Bussler; John Davies; Dieter Fensel; Rudi Studer (Hrsg). The Semantic Web: Research and Applications: First European Semantic Web Symposium, ESWS 2004, Heraklion, Crete, Greece, May 10-12, 2004, Proceedings. Berlin: Springer 2004 S. 16 - 30


Maedche, Alexander; Staab, Steffen

Ontology Learning

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


Darlagiannis, Vasilios; Mauthe, Andreas; Steinmetz, Ralf

Overlay Design Mechanisms for Heterogeneous Large-Scale Dynamic P2P Systems

Journal of Network and Systems Management. Bd. 12. H. 3. Dordrecht: Springer 2004 S. 371 - 395