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