Time Logic
Download Time Logic PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Time Logic book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
VMCAI 2004
Author: Bernhard Steffen
language: en
Publisher: Springer Science & Business Media
Release Date: 2004-01-07
This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004. The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.
ECAI 2010
Author: European Coordinating Committee for Artificial Intelligence
language: en
Publisher: IOS Press
Release Date: 2010
LC copy bound in 2 v.: v. 1, p. 1-509; v. 2, p. [509]-1153.
Wrigley Regulars
Author: Holly Swyers
language: en
Publisher: University of Illinois Press
Release Date: 2010-10-01
Holly Swyers turns to the bleachers of Chicago's iconic Wrigley Field in this unique exploration of the ways people craft a feeling of community under almost any conditions. Wrigley Regulars examines various components of community through the lens of "the regulars," a group of diehard Chicago Cubs fans who loyally populate the bleachers at Wrigley Field. In a time when many communities are perceived as either short-lived or disintegrating, the Wrigley regulars have formed their own thriving set of pregame rituals, ballpark traditions, and social hierarchies. Swyers examines the conditions, practices, and behaviors that help create and sustain the experience of community. At Wrigley Field, these practices can include the simple acts of scorecard-keeping and gathering at the same location before each game or insisting on elaborate rules of ticket distribution and seating arrangements, as well as more symbolic behaviors and superstitions that link the regulars to each other. A bleacher regular herself, Swyers uses a qualitative approach to define community as the ways in which people arrive at an awareness of themselves as a group with a particular relationship to the larger world. The case of the regulars offers a challenge to the claim that community is eroding in an increasingly fragmented and technologically driven culture, suggesting instead that our notions of where we find community and how we express it are changing.