Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
Ergebnisse pro Seite:  10

Baumgartner, Peter; Furbach, Ulrich

Model based deduction for knowledge representation [position paper]

Natasha Noy; Martin Frank; Steffen Staab (Hrsg). WWW 2002: International Workshop on the Semantic Web; Hawaii, May 7, 2002. Karlsruhe: Universität Karlsruhe 2002 S. 1 - 2


Steigner, Ch.; Wilke, J.

Multi-Source Performance Analysis of Distributed Software

Proceedings of the Communication Networks and Distributed Systems Modeling and Simulation Conference (CNDS). Bd. 1. San Antonio. 2002 0


Arai, T.; Stolzenburg, F.

Multiagent systems specification by UML statecharts aiming at intelligent manufacturing

Proceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems. Bd. Proceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems. ACM Press 2002 S. 11-18


Sofronie-Stokkermans, Viorica

On Uniform Word Problems Involving Bridging Operators on Distributive Lattices

Uwe Egly; Chritian G. Fermüller (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings. Berlin: Springer 2002 S. 235 - 250


Jürjens, Jan

Principles for secure system design

Oxford: University of Oxford, Mathematical and Physical Sciences Division 2002


Jansen, David N.; Jürjens, Jan; Cengarle, Maria Victoria et al.

Probabilistic UML statecharts for specification and verification: a case study

Maria Victoria Cengarle;Eduardo B. Fernandez;Jan Jürjens;Bernhard Rumpe;Robert Sandner (Hrsg). Workshop on Critical Systems Development with UML: CSDUML 2002; September 30, 2002 Dresden. München: Technische Universität München, Institut für Informatik 2002 S. 121 - 131


Schulze, M.; Ebert, J.; Glinz, M. et al.

Prozessmodell-basierte Präsentation von Produktionsfehler-Beschreibungen

Modellierung 2002, Gesellschaft für Informatik. Bd. Modellierung 2002, Gesellschaft für Informatik. Bonn. 2002 S. 147--157


Gross-hardt, Margret; Gross - Hardt, M.

Querying Concepts - An approach to retrieve XML data by means of their data types

17. WLP - Workshop ´Logische Programmierung´. 2002


Jürjens, Jan

Secure Java Development with UML

Bart De Decker; Frank Piessens; Jan Smits; Els Van Herreweghen (Hrsg). Advances in Network and Distributed Systems Security: IFIP TC11 WG11.4; First Annual Working Conference on Network Security; November 26-27, 2001, Leuven, Belgium. New York: Kluwer Academic Publishers 2002 S. 107 - 124


Jürjens, Jan

Secure Systems Development with UML - Applications to Telemedicine: Invited talk

CORAS Public Workshop. Regensburg. 2002