|
481 |
A file system for wireless mesh networks Schleinzer, Benjamin. - Aachen : Shaker, 2012
|
|
|
482 |
A logic-based framework to enable attribute assurance for digital identities in service-oriented architectures and the web Scherfenberg, Ivonne, 2012
|
|
|
483 |
A machine-checked, type-safe model of Java concurrency Lochbihler, Andreas. - Karlsruhe : KIT Scientific Publ., 2012
|
|
|
484 |
A model driven approach for service based system design using interaction templates Reichelt, Toni. - Chemnitz : Univ.-Verl., 2012
|
|
|
485 |
A statically typed logic context query language with parametric polymorphism and subtyping Rho, Tobias, 2012
|
|
|
486 |
A systematic integration of inspection and testing processes for focusing testing activities Elberzhager, Frank. - Stuttgart : Fraunhofer-Verl., 2012
|
|
|
487 |
A test framework for executing model-based testing in embedded systems Iyenghar, Padma, 2012
|
|
|
488 |
A unified approach to the development and usage of mobile agents Kern, Steffen, 2012
|
|
|
489 |
A unified framework for multi-level modeling Kennel, Bastian, 2012
|
|
|
490 |
Accelerometer-based biometric gait recognition for authentication on smartphones Nickel, Claudia, 2012
|
|