Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

Featuring the contributions of prominent researchers from academia and industry,...

Software continues to become more and more complex, while software consumers’ expectations for performance, reliability, functionality, and speed-to-market are also growing exponentially. H. S. Lahman shows how...

PowerShell is becoming the de facto administration tool for Microsoft Server products. The ability to script out reusable steps and code makes life easier for administrators, developers, and managers alike. With the latest release of Microsoft SharePoint Server 2010, PowerShell is the recommended administration...

The jQuery Mobile framework is jQuery’s latest rabbit out of the hat project. The jQuery Mobile framework is open source and is supported by all the big players: iOS, Android, Bada, BlackBerry, Nokia, Adobe, and so, covering all the names behind the project. It is a truly cross platform framework and porting applications made in...

Information networking has emerged as a multidisciplinary diversified area of research over the past few decades. From traditional wired telephony to cellular voice telephony and from wired access to wireless access to the Internet, information networks have profoundly impacted our lifestyle. At the time of writing, over 3 billion...

Web Standards: Mastering HTML5, CSS3, and XML provides solutions to the most common website problems, and gives you a deep understanding of web standards and how they can be applied to improve your website. You will learn how to create fully standards-compliant websites and provide search engine-optimized Web documents with...

Welcome to Unreal Development Kit Game Programming with UnrealScript! This book teaches you how to program using the UnrealScript language so you can create your own game projects using the UDK. Instead of using dry, hypothetical code you will use the topics learned in each chapter to build an actual working game. By the end of the book, you...