Automated testing moves much of the labor of testing off the developer and makes it easier as well as quicker to find bugs and fix them. Automated tests run faster, increase test coverage, and lower costs. However, testing is neither an easy process nor remotely exciting for most developers. But with the right techniques and tools, testing can...

While most research has examined the legal, economic and psychological sides of gambling, this innovative collection offers a wide range of cultural perspectives on gambling organizations. Using both historical and present-day case studies from throughout the world, the authors seriously consider the rituals, symbols, the meanings, values,...

Although in Hinduism it is mainly used to refer to widow immolation, the term 'sati' means 'true woman' - a female hero. Whitney Kelting has learned that in Jainism satis appear as subjects of devotional hymns. This seems paradoxical, given that Jain spirituality is to disengage oneself from worldly existence and Jain devotionalism is usually...

Put a hacker in a room with a Furby for a weekend and you'll hear a conversation that's fairly one-sided in its originality. Toss in an 802.11b network card, a soldering iron, wire cutters, a logic probe, and a few other carefully selected tools and materials and you'll have potential. Add a copy of Hardware Hacking Projects for...

This self-contained book provides three fundamental and generic approaches (logical, probabilistic, and modal) to representing and reasoning with agent epistemic states, specifically in the context of decision making. Each of these approaches can be applied to the construction of intelligent software agents for making decisions, thereby...

Facing the Music investigates the practices and ideas that have grown from some five decades of cultural diversity in music education, developments in ethnomusicology, and the rise of 'world music'. Speaking from rich, hands-on experience of more than thirty years at various levels of music education (music in schools,...

An ontology is a formal description of concepts and relationships that can exist for a community of human and/or machine agents. The notion of ontologies is crucial for the purpose of enabling knowledge sharing and reuse. The Handbook on Ontologies provides a comprehensive overview of the current status and future prospectives of the field of...

A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems. The...

This graduate textbook provides an in-depth description of the transport phenomena relevant to systems of nanoscale dimensions. The different theoretical approaches are critically discussed, with emphasis on their basic assumptions and approximations. The book also covers information content in the measurement of currents, the role of initial...

State transitions are used as a formal technique for the specification of virtual machines throughout and – in addition...

John Wilmot, second Earl of Rochester, was born on All Fools’ Day, 1647, at Ditchley in Oxfordshire on the estate that had belonged to his mother’s first husband, Sir Henry Lee. Rochester’s father, Lord Wilmot, was a royalist general; witty, restless and hard-drinking, he was with the exiled court in Paris, and hardly saw...