Suche
Kategorie
29486 Treffer
×
Universität Koblenz
×
Hochschule Mainz
×
Katholische Hochschule Mainz
×
Hochschule Trier
×
Theologische Fakultät Trier
- Lehnert, Johannes K.; Görgen, Daniel; Frey, Hannes et al.
- A Scalable Workbench for Implementing and Evaluating Distributed Applications in Mobile Ad hoc Networks
- 2004 S. 1 - 7
- Jürjens, Jan; Shabalin, Pasha
- A Foundation for Tool-Supported Critical Systems Development with UML.
- ECBS. 2004 S. 398 - 405
- Frey, Hannes; Lehnert, Johannes K.; Görgen, Daniel et al.
- A generic background dissemination service for mobile ad-hoc networks
- Trier: Universität Trier, Fachbereich IV Mathematik, Informatik 2004 S. 9
- Makolm, Josef; Wimmer, Maria A.; Parycek, Peter
- Zielsetzung und Motivatoren für Wissensmanagement in der öffentlichen Verwaltung
- Josef Makolm;Maria A. Wimmer (Hrsg). Wissensmanagement in der öffentlichen Verwaltung: Konzepte, Lösungen und Potentiale. Wien: Österreichische Computer Gesellschaft 2005 S. 3 - 18
- Jürjens, Jan; Shabalin, Pasha
- XML-based Analysis of UML Models for Critical Systems Development
- Hongji Yang (Hrsg). Advances in UML and XML-Based Software Evolution. Hershey, PA: IGI Global 2005 S. 257 - 274
- Jürjens, Jan
- Towards using game semantics for crypto protocol verification: Lorenzen games
- Dan R. Ghica;Guy McCusker (Hrsg). 1st Workshop on Games for Logic and Programming Languages GaLoP 2005 part of ETAPS 2005, Edinburgh, UK, 2-3 April 2005. Edinburgh: University of Edinburgh 2005 S. 241 - 257
- Jürjens, Jan; Shabalin, Pasha
- Tools for Secure Systems Development with UML: Security Analysis with ATPs.
- FASE. 2005 S. 305 - 309
- Kschischo, Maik; Lässig, Michael; Yu, Yi-Kuo
- Toward an accurate statistics of gapped alignments
- Bulletin of mathematical biology. Bd. 67. H. 1. New York, NY: Elsevier 2005 S. 169 - 192
- Hardy, Catherine A.; Williams, Susan P.
- Strategic Change
- Public e-procurement as Socio-Technical Change. Bd. 14. H. 5. 2005 S. 273 - 281
- Jürjens, Jan
- Sound methods and effective tools for model-based security engineering with UML.
- ICSE. 2005 S. 322 - 331