Ubuntu is a free, open-source, Linux-based operating system that can run on desktops, laptops, netbooks, and servers. If you've joined the millions of users around the world who prefer open-source OS-and Ubuntu in particular-this book is perfect for you. It brings...

This widely anticipated third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic and nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs. The...

This book is a guide to setting up Openfire, tweaking it, and customizing it to build a secure and feature-rich alternative to consumer IM networks. The features covered include details about setting up the server, adding and handling users and...

This fast-paced guide enables developers to design and build Enterprise applications for the cloud. You will find it easy to follow this book, as the authors use an actual online portal application for the case study. Throughout the development of the sample application there is discussion of important considerations for moving an application...

Elements shines on its own turf and is distinguished from Adobe Photoshop in many ways. Not only a...

Biometric recognition--the automated recognition of individuals based on their behavioral and biological characteristic--is promoted as a way to help identify terrorists, provide better control of access to physical facilities and financial accounts, and increase the efficiency of access to services and their utilization. Biometric...

The telecommunications industry is changing rapidly in its quest to converge voice and data on high-performance multiservice networks that are designed to meet virtually any business and consumer need. These nextgeneration networks are being driven as much by the revenue-generating potential of new integrated applications as they are by the...

This text is intended for microprocessor courses at the undergraduate level in technology and engineering. ll is a comprehensive treatment of the microprocessor. covering both hardware and software based on the Z80 microprocessor family. The text assumes a course in digital logic as a prerequisite; however, it does not assume a background in...

Welcome to the proceedings of the 17th Multimedia Modeling Conference (MMM 2011) held in Taipei, Taiwan, during January 5–7, 2011. Following the success of the 16 preceding conferences, the 17th MMM brought together researchers,developers, practitioners, and educators in the field of multimedia. Both practical systems and theories...

Create Virtual 3D LEGO Models Using LEGO Software Power Tools LEGO Master Builders have created a powerful set of tools that are distributed as freeware to the LEGO community to assist LEGO fans in their building adventures. Until now, these tools have been difficult to find, and even more difficult to configure to work with one another....

On 9th January, 2007, Apple officially launched the iPhone, and the world of user interface design shifted. While tablet PCs had been around for a while, the iPhone was the first device to give so many people a portable touchscreen, and people loved it. Just over a year later, Google and the Open Handset Alliance announced Android which in...