This book constitutes the thoroughly refereed proceedings of the 16th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2012, held in San Sebastian, Spain, in September 2012. The 21 revised papers were carefully reviewed and selected from 254 submissions. Topics of interest include the exploitation of AI techniques, most recent research in informat…
This book constitutes the refereed post-proceedings of the IFIP WG 9.7 International Conference on the History of Computing, HC 2013, held in London, UK, in June 2013. The 29 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics related to the history of computing and offer a number of different approaches to making…
Written as a workbook with a set of guided exercises that teach by example, this book gives a practical, hands-on guide to using UML to design and implement embedded and real-time systems. Key Features : * A review of the basics of UML and the Harmony process for embedded software development: two on-going case examples to teach the concepts, a small-scale traffic light control system and a…
No Inv.: 80707-80708/P/02/2c
The second edition of this 5-volume handbook is intended to be a basic yet comprehensive reference work in combinatorial optimization that will benefit newcomers and researchers for years to come. This multi-volume work deals with several algorithmic approaches for discrete problems as well as with many combinatorial problems. The editors have brought together almost every aspect of this enormo…
Requirements engineering is one of the most complex and at the same time most crucial aspects of software engineering. It typically involves different stakeholders with different backgrounds. Constant changes in both the problem and the solution domain make the work of the stakeholders extremely dynamic. New problems are discovered, additional information is needed, alternative solutions are pr…
This book provides a hands-on introductory course on concepts of C programming using a PIC® microcontroller and CCS C compiler. Through a project-based approach, this book provides an easy to understand method of learning the correct and efficient practices to program a PIC® microcontroller in C language. Principles of C programming are introduced gradually, building on skill sets and knowled…
This work will educate chip and system designers on a method for accurately predicting circuit and system reliability in order to estimate failures that will occur in the field as a function of operating conditions at the chip level. This book will combine the knowledge taught in many reliability publications and illustrate how to use the knowledge presented by the semiconductor manufacturing c…
"This volume constitutes the refereed proceedings of the 20th EuroSPI conference, held in Dundalk, Ireland, in June 2013. The 31 revised papers presented in this volume were carefully reviewed and selected. They are organized in topical sections on SPI Safety and Regulation Issues; SPI Lifecycle and Models; SPI Quality and Testing Issues; SPI Networks and Teams; SPI and Reference Models; SPI Im…
No Inv.: 86978/P/Perp/03/1c