|
631 |
Abstraction and abstraction refinement in the verification of graph transformation systems Kozyura, Vitaly, 2009
|
|
|
632 |
Advanced memory data structures for scalable event trace analysis Knüpfer, Andreas, 2009
|
|
|
633 |
Algebraic methods in block cipher cryptanalysis Weinmann, Ralf-Philipp, 2009
|
|
|
634 |
Algorithms for streaming graphs Zelke, Mariano, 2009
|
|
|
635 |
An agent-based approach for privacy-preserving information filtering Cissée, Richard, 2009
|
|
|
636 |
An architectural decision modeling framework for service-oriented architecture design Zimmermann, Olaf, 2009, [Online-Ausg.]
|
|
|
637 |
An aspect-oriented model-driven engineering approach for distributed embedded real-time systems Wehrmeister, Marco Aurélio, 2009
|
|
|
638 |
An automated policy refinement process supported by expert knowledge Rochaeli, Taufiq, 2009
|
|
|
639 |
An efficient and flexible implementation of aspect-oriented languages Bockisch, Christoph-Matthias, 2009
|
|
|
640 |
An evaluation framework for software test processes Farooq, Ayaz, 2009
|
|