<< ISBN: 1598291203 Author: Dan Siewiorek Publisher: Morgan and Claypool Publishers Pages: 66 Publication Date: 2008-03-26

Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism. Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.

<< ISBN: 1846287693 Author: Mordechai Ben-Ari Publisher: Springer Pages: 216 Publication Date: 2008-01-07

Each recipe in Groovy Recipes begins with a concise code example for a quick start, followed by in-depth explanation in plain English. These recipes will get you to-to-speed in a Groovy environment quickly. You'll see how to speed up nearly every aspect of the development process using Groovy. Groovy makes mundane file management tasks like copying and renaming files trivial. Reading and writing XML has never been easier with XmlParsers and XmlBuilders. Breathe new life into Arrays, Maps, and Lists with a number of convenience methods. But Groovy does more than just ease traditional Java development: it brings modern programming features to the Java platform like closures, duck-typing, and metaprogramming. As an added bonus, this book also covers Grails. You'll be amazed at how quickly you can have a first-class web application up and running from ground zero. Grails includes everything you need in a single zip file⎯a web server (Jetty), a database (HSQLDB), Spring, Hibernate, even a Groovy version of Ant called GANT. We cover everything from getting a basic website in place to advanced features that take you beyond HTML into the world of Web Services: REST, JSON, Atom, Podcasting, and much much more.

<< ISBN: 0978739299 Author: Scott Davis Publisher: Pragmatic Bookshelf Pages: 250 Publication Date: 2008-03-11

Operators are introducing mobile television and digital video content services globally. The Handbook of Mobile Broadcasting addresses all aspects of these services, providing a comprehensive reference on DVB-H, DMB, ISDB-T, and MediaFLO. Featuring contributions from experts in the field, the text presents technical standards and distribution protocols, offering detailed coverage of video coding, including design methodology and error resilience techniques; state-of-the-art technologies such as signaling, optimization, implementation, and simulation; and applications of mobile broadcasting, including emerging areas and new interactive services.

<< ISBN: 1420053868 Author: P ublisher: AUERBACH Pages: 744 Publication Date: 2008-04-15

Security is one of the most significant components in wireless systems to ensure the integrity of communications among terminals, networks, and services. As the field of wireless communications expands and inundates personal and professional lives worldwide, up-to-date wireless security research and knowledge becomes increasingly more vital to society. The Handbook of Research on Wireless Security combines research from esteemed experts on security issues in various wireless communications, recent advances in wireless security, the wireless security model, and future directions in wireless security. As an innovative and current reference source for students, educators, faculty members, researchers, engineers in the field of wireless security, this handbook will make an invaluable addition to any library collection.

<< ISBN: 159904899X Author: Publisher: Information Science Reference Pages: 860 Publication Date: 2008-03-14

This book provides a comprehensive practical treatment of the modelling of electrical power systems, and the theory and practice of fault analysis of power systems covering detailed and advanced theories as well as modern industry practices.The continuity and quality of electricity delivered safely and economically by todays and futures electrical power networks are important for both developed and developing economies. The correct modelling of power system equipment and correct fault analysis of electrical networks are pre-requisite to ensuring safety and they play a critical role in the identification of economic network investments. Environmental and economic factors require engineers to maximise the use of existing assets which in turn require accurate modelling and analysis techniques. The technology described in this book will always be required for the safe and economic design and operation of electrical power systems. The book describes relevant advances in industry such as in the areas of international standards developments, emerging new generation technologies such as wind turbine generators, fault current limiters, multi-phase fault analysis, measurement of equipment parameters, probabilistic short-circuit analysis and electrical interference.*A fully up-to-date guide to the analysis and practical troubleshooting of short-circuit faults in electricity utilities and industrial power systems*Covers generators, transformers, substations, overhead power lines and industrial systems with a focus on best-practice techniques, safety issues, power system planning and economics.*North American and British / European standards covered

<< ISBN: 0750680741 Author: Nasser Tleis Publisher: Newnes Pages: 592 Publication Date: 2007-11-25

This book is an attempt to illustrate current status of modern nanotechnology. The book is divided into 3 main sections, introduction and conclusion. The introduction describes general questions of the problem and main lines of the research activities. In the first section methods of the nanostructures construction are described. Second section is dedicated to the Structure-property relationship. Special attention is paid to the description of the most powerful experimental methods and tools used in nanotechnology, such as probe microscopies, spectroscopied, and scattering methods, including the utilization of synchrotron radiation facilities. The third section describes the applications of nanotechnology in electronics, biotechnology and diagnostics. Conclusion part presents a summary of the status of works in this area and gives some perspectives of the further development.- Reference to practically all original works with essential results, that resulted in the development of nanotechnology- Coherent group of well-known authors in the field of nanotechnology- Book spans topics applicable for both the didactic and research

<< ISBN: 0080450520 Author: Publisher: Elsevier Science Pages: 504 Publication Date: 2007-11-18

<< ISBN: 0816054649 Author: Katherine E. Cullen Publisher: Facts on File Pages: 170 Publication Date: 2005-12-30

The third edition of 150 Practice ECGs: Interpretation and Review combines practice tracings with clinical cardiology, providing students with the practical knowledge necessary to read, interpret, and understand ECGs. This essential review book is organized into three sections: introductory text reviewing ECG diagnostic criteria, pathophysiology, and clinical correlation; 150 ECG tracings with a brief clinical history; and interpretation and teaching points for each of the 150 ECGs. 150 Practice ECGs: Interpretation and Review, 3rd Edition is ideal as an introductory text for medical and nursing students at any stage of training, for residents and fellows as a refresher before board exams, and for the sophisticated student/teacher as a comprehensive teaching file.

<< ISBN: 140510483X Author: George J. Taylor Publisher: Wiley-Blackwell Pages: 272 Publication Date: 2005-12-12