Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g., Java, C++, or C#. The International Conference on Formal...

Networked systems for transport, communication, and social interaction have contributed to all aspects of life by increasing economic and social efficiency. However, increased connectivity also gives intruders and attackers better opportunities to maliciously spread in the network, whether the spread is of disinformation, or of contamination...

R is a powerful tool for statistics, graphics, and statistical programming. It is used by tens of thousands of people daily to perform serious statistical analyses. It is a free, open source system whose implementation is the collective accomplishment of many intelligent, hard-working people. There are more than 2,000 available add-ons, and R...

Digital Forensics with Open Source Tools is the definitive book on investigating and analyzing computer systems and media using open source tools. The book is a technical procedural guide, and explains the use of these tools on Linux and Windows systems as a platform for performing computer forensics. Both well known and novel forensic...

There are many anecdotes, articles, and books about optimizing in specific scenarios. Sometimes, these include hard numbers; if so, it’s usually for hardware that is several years old. Often, the discussion is very specific, such as optimizing memory copies for a specific chip, and the...

The GIMP project was started in 1995 by Peter Mattis and Spencer Kimball, and is now maintained by a group of volunteers under the auspices of the GNU Project. The first release was in January 1996, The latest version of GIMP, version 2.6.1, was released on December 21, 2010. Available under the terms of the GNU General Public License, GIMP...

The idea for this project grew out of a conversation between Jens Timmermann, Steve Engstrom and Andrews Reath at a conference on Kant’s moral philosophy hosted by Peking University in May 2004. We believe that Andy suggested that there was a need for a volume of new essays on the Critique of Practical Reason, and Jens suggested that we...

Now that you've got a netbook, it's time to find out how to maximize all of its capabilities. This hands-on guide explains how you can keep your netbook running at peak performance by limiting how many programs you run concurrently and what you download. Learn the best ways to connect to...

Fully updated to reflect the significant changes that have occurred in the aviation industry, the new edition of this classic text offers definitive guidance on every aspect of planning, design, engineering, and renovating airports and terminals. Planning and...

Want to save time, money, and frustration on plumbing repair and replacement? Do it yourself! Plumbing Do-It-Yourself For Dummies turns even the most daunting household plumbing project into a simple, step-by-step process that delivers professional-quality results at a fraction of what you'd have to pay a plumber—and you...

VoIP is poised to take over from the century-old public switched telephone network (PSTN). But VoIP telephony does not enjoy the same privacy as the old PSTN. This is because PSTN phone calls were based on establishing a “closed circuit” between the two parties, while VoIP phone calls send packets through the Internet, which...