The design and the verification of modern software applications requires the analysis of several different aspects, such as software correctness, quality of service, and security, and of the possible inter-relations among them. Process algebraic architectural languages and the related analysis techniques provide a formal paradigm that allows...

`Non-equilibrium Thermodynamics and Statistical Mechanics: Foundations and Applications' builds from basic principles to advanced techniques, and covers the major phenomena, methods, and results of time-dependent systems. It is a pedagogic introduction, a comprehensive reference manual, and an original research monograph. Uniquely, the...

The 12th International Conference on the Principles and Practice of Constraint Programming (CP 2006) was held in Nantes, France, September 24–29, 2006. Information about the conference can be found on theWeb at http://www.sciences. univ-nantes.fr/cp06/. Information about past conferences in the series can be found at...

Start developing robust drivers with expert guidance from the team who developed Windows Driver Foundation. This comprehensive book gets you up to speed quickly and goes beyond the fundamentals to help you extend your Windows development skills. You get best practices,...

This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SytemVerilog Functional Coverage.  Readers will benefit from the step-by-step approach to functional hardware verification, which will enable them to uncover hidden and hard to find bugs, point directly to the...

The 30 revised full papers presented together with summaries on the workshops and tutorials were carefully reviewed and selected from 135 technical paper submissions....

Semiconductor Modeling: For Simulating Signal, Power, and Electromagnetic Integrity assists engineers – both recent graduates and working product designers – in designing high-speed circuits. The authors apply circuit theory, circuit simulation tools, and practical experience to help the engineer...

Biometric Technologies and Verification Systems is organized into nine parts composed of 30 chapters, including an extensive glossary of biometric terms and acronyms. It discusses the current state-of-the-art in biometric verification/authentication, identification and system design principles. It also provides a step-by-step...

The 20th ICPR (International Conference on Pattern Recognition) Conference took place in Istanbul, Turkey, during August 23–26, 2010. For the first time in the ICPR history, several scientific contests (http://www.icpr2010.org/ contests.php) were organized in parallel to the conference main tracks. The purpose of these contests was to...