|
971 |
A framework for secure and efficient communication in mobile ad hoc networks Schwingenschlögl, Christian, 2005
|
|
|
972 |
A framework to improve the architecture quality of software intensive systems Thiel, Steffen, 2005
|
|
|
973 |
A generator for type checkers Gast, Holger, 2005
|
|
|
974 |
A simultaneous execution scheme for database caching Jurk, Steffen, 2005
|
|
|
975 |
Adaptive Erkennung von Software-Entwurfsmängeln Kreimer, Jochen, 2005
|
|
|
976 |
Advanced concepts and applications of the UB-tree Widhopf-Fenk, Robert Josef, 2005
|
|
|
977 |
Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
|
|
|
978 |
An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
|
|
|
979 |
Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
|
|
|
980 |
Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005
|
|