These proceedings contain the papers presented at the 8th Internationl Symposium on Automated Technology for Verification and Analysis held during September 21–24, 2010 in Singapore. The primary objective of the ATVA conferences remains the same: to exchange and promote the latest advances of state-of-the-art research on...

Decision-making has evolved recently thanks to the introduction of information and communication technologies in many organizations, which has led to new kinds of decision-making processes, called “collaborative decision-making”, at the organizational and cognitive levels. This book looks at the development of the decision-making...

Microsoft Vista may be the hot new operating system, but to use it with confidence, you'll need to know its quirks and shortcuts. Find out what the manual doesn't always tell you in this insider's guide to using Vista in the real world. How can you customize...

No one has ever described American democracy with more accurate insight or more profoundly than Alexis de Tocqueville. After meeting with Americans on extensive travels in the United States, and intense study of documents and authorities, he authored the landmark Democracy in America, publishing its two volumes in 1835 and 1840. Ever...

To understand theGuise is to understand the profound transformations that shook sixteenth-century Europe. So it is mystifying that outside France they are all but forgotten. For in their day theGuisewere held in awe throughout Europe. Admiring or appalled, none could ignore them. Enemies at one time or another of the great dynasties of Tudor,...

The behavior of a physical system may appear irregular or chaotic even when it is completely deterministic and predictable for short periods of time into the future. How does one model the dynamics of a system operating in a chaotic regime? Older tools such...

The ANTS-IX Program Committee consisted of 12 members whose names are listed on the next...

The goal of the AMR workshops is to intensify the exchange...