The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programs. It will clearly...

This is the second of three volumes of essential reference for those concerned with the installation and servicing of domestic and industrial gas equipment. This volume deals with the various aspects of installing and servicing domestic appliances and associated equipment.

The revised fourth edition is brought fully up to...

This volume offers full coverage of the systematic framework for the stability and design of nonlinear fuzzy control systems. Building on the Takagi-Sugeno fuzzy model, authors Tanaka and Wang address a number of important issues in fuzzy control systems, including...

Adobe Flash is an ideal choice for developing rich interactive content for "Flash-enabled" mobile devices; and with this book, you'll learn how to create unique applications with Flash Lite. Through a series of code samples and extensive example...

For real-time systems, the worst-case execution time (WCET) is the key objective to be considered. Traditionally, code for real-time systems is generated without taking this objective into account and the WCET is computed only after code generation. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems presents...

The purpose of information security is to protect an organization’s valuable resources, such as information, computer hardware, and software. Through the selection and application of appropriate safeguards, security helps the organization’s mission by protecting its physical and financial resources, reputation, legal position,...

As the incidence of childhood obesity continues to dramatically increase, the emergence of type 2 and the increasing incidence of type 1 diabetes in young people demonstrate that childhood diabetes, like adult onset diabetes, is a complex and heterogeneous condition presenting new obstacles to the practicing clinician. Epidemiology of...

Network and System Security provides focused coverage of network and system security technologies. Explores practical solutions to a wide range of network and systems security issues. Chapters are authored by leading experts in the field and address the immediate and long term challenges in the authors' respective areas of expertise....

This is the first textbook to focus specifically on disaster psychiatry. It brings together international experts to provide a comprehensive review of the psychological, biological and social responses to disaster, describing evidence-based clinical and service-led interventions to meet mental health needs and foster resilience and recovery....

The modern field of nonvolatile digital information storage is a bit more than a half-century old. During its history, the field has seen a small handful of technologies (magnetic tape, magnetic hard disk, magnetic flexible disk, consumer-derived optical disk) take root as ‘mainstream’. These technologies have persisted in the...

A concise and comprehensive reference to this devastating, widespread disease, The Encyclopedia of Cancer provides a thorough introduction to the many different types and aspects of cancer. Covering everything from leukemia to melanoma to colon cancer, more than 400 entries detail all the basics of cancer and address its many forms. Thorough...

Learn the best practices of dimensional design. Star Schema: The Complete Reference offers in-depth coverage of design principles and their underlying rationales. Organized around design concepts and illustrated with detailed examples, this is a...