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


Jürjens, Jan

Testing Critical and Embedded Systems: Tutorial

6th International Conference on Software Testing (ICSTEST 2005), April 6--8, 2005, Düsseldorf, German, Tutorial. 2005


Zöbel, Dieter; Polock, David; van Arkel, Andreas

Testing for the Conformance of Real-time Protocols Implemented by Operating Systems

Electronic Notes in Theoretical Computer Science. Bd. 133. Amsterdam: Elsevier 2005 S. 315 - 332


Strassner, Johannes; Langer, Marion; Müller, Stefan

The Mental Continuum: Control Models for Virtual Humans in Real World Situations

Dietrich Paulus; Detlev Droege (Hrsg). Mixed-reality as a challenge to image understanding and artificial intelligence: KI 2005, Workshop 7; September 11th, 2005; Koblenz. Koblenz: Universität Koblenz-Landau, Institut für Informatik 2005 S. 33 - 40


Algermissen, Lars; Delfmann, Patrick; Niehaves, Björn

The ProKMuni-Platform: Process Oriented Knowledge Management for Municipalities

Mehdi Khosrow-Pour (Hrsg). Managing Modern Organizations With Information Technology: Information Resources Management Association International Conference IRMA 2005: San Diego, California, USA; May 15-18, 2005; Volume 1. Hershey, PA: Idea Group Publishing 2005 S. 28 - 31


Kempen, Gerard; Harbusch, Karin

The Relationship between Grammaticality Ratings and Corpus Frequencies: A Case Study into Word Order Variability in the Midfield of German Clauses

Stephan Kepser; Marga Reis (Hrsg). Linguistic Evidence: Empirical, Theoretical, and Computational Perspectives. Berlin: Mouton De Gruyter 2005 S. 329 - 349


Birck, Hannes; Heckmann, Oliver; Mauthe, Andreas et al.

The Two-Step P2P Simulation Approach: A Framework for Message- and Packet-Level Simulation

Journal Communications Software and Systems. Bd. 1. H. 1. Split: Croatian Communications and Information Society 2005 S. 4 - 12


Oberle, Daniel; Staab, Steffen; Volz, Raphael

Three Dimensions of Knowledge Representation in WonderWeb

Künstliche Intelligenz : KI : German journal of Artificial Intelligence. Bd. 19. H. 1. Berlin: Springer 2005 S. 31


Liebau, Nicolas; Darlagiannis, Vasilios; Mauthe, Andreas et al.

Token-Based Accounting for P2P-Systems

Paul Müller; Reinhard Gotzhein; Jens B. Schmitt (Hrsg). Kommunikation in Verteilten Systemen KiVS 2005: 14. Fachtagung; Kaiserslautern, 28. Februar – 3. März 2005. Berlin: Springer 2005 S. 16 - 28


Jürjens, Jan

Tool-support for Model-Driven Development of Security- Critical Systems with UML

Sami Beydeda;Matthias Book;Volker Gruhn (Hrsg). Model-Driven Software Development. Berlin: Springer 2005 S. 35 - 55