This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lire la suiteThis volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
Lire la suiteThe primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
Lire la suiteThis book cover theory, practice, applications, and experiences related to secure software.
Lire la suiteThis book cover theory, practice, applications, and experiences related to secure software.
Lire la suiteThe book consists of various topics, including radioactivity inspection of food products; decontamination trials for rice ...
Lire la suiteThis state-of-the-art survey features papers that were selected after an open call following the International Dagstuhl Seminar ...
Lire la suiteThis state-of-the-art survey features papers that were selected after an open call following the International Dagstuhl Seminar ...
Lire la suiteThe book covered by these accepted papers include feature representation, 3D face, robust recognition under pose and illumination ...
Lire la suiteThe book covered by these accepted papers include feature representation, 3D face, robust recognition under pose and illumination ...
Lire la suiteDuring the last 30 years, face recognition and related problems such as face detection/tracking and facial expression recognition ...
Lire la suiteAs software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Lire la suiteThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lire la suiteThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lire la suiteSoftware development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...
Lire la suiteThis book contains 30 articles and three abstracts of invited talks presented at The Second International Workshop on Biologically ...
Lire la suiteThis volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Lire la suiteThis volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Lire la suiteThis volume constitutes the refereed proceedings of the 11th International Workshop on Combinatorial Image Analysis, IWCIA ...
Lire la suiteETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suite