You are here


Found 4 results
Filters: Author is Steffen, Bernhard  [Clear All Filters]
Groce, A., A. Fern, M. Erwig, J. Pinto, T. Bauer, and A. Alipour, "Learning-Based Test Programming for Programmers", Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, vol. 7609: Springer Berlin Heidelberg, pp. 572-586, 2012.
Payet, N., and S. Todorovic, "Matching Hierarchies of Deformable Shapes", Proceedings of the 7th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, vol. 5534, Venice, Italy, Springer Berlin Heidelberg, pp. 1 - 10, 05/2009.
Purevjii, B-O., M. Aritsugi, S. Imai, Y. Kanamori, and C. M. Pancake, "Protecting Personal Data with Various Granularities: A Logic-Based Access Control Approach", Computational Intelligence and Security, vol. 3802, Berlin, Heidelberg, Springer Berlin Heidelberg, pp. 548 - 553, 2005.
Park, S., S-H. Chung, I-su. Yoon, I-hyung. Jung, S M. Lee, and B. Lee, "HVIA-GE: A Hardware Implementation of Virtual Interface Architecture Based on Gigabit Ethernet", 19th International Symposium on Computer and informtion Sciences, Lecture Notes in Computer Science, vol. 3280, Kemer-Antalya, Turkey, Springer Berlin Heidelberg, pp. 198 - 206, 10/2004.