Runtime Verification

This book constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St. Julians, Malta, in November 2010. The 23 revised full papers presented together with 6 invited papers, 6 tutorials and 4 tool demonstrations were carefully reviewed and selected from 74 submissions. The papers address a wide range of topics such as runtime monitoring, analysis and verification, statically and dynamical, runtime simulations, together with applications in malware analysis and failure recovery, as well as execution tracing in embedded systems.

Keynotes
The Authoring Challenge in Interactive Storytelling	p. 1
From a Winter's Night to a Dragon Age	p. 2
Designing Social Worlds - On Intrigue and Interaction in Live Action Role Playing Games (LARPS)	p. 3
Characters and Decision Making
MIST: An Interactive Storytelling System with Variable Character Behavior	p. 4
Importance of Well-Motivated Characters in Interactive Narratives: An Empirical Evaluation	p. 16
ôI Want to Slay That Draeon!ö - Influencing Choice in Interactive Storytelling	p. 26
Story Evaluation and Analysis
Measuring User Responses to Interactive Stories: Towards a standardized Assessment Tool	p. 38
One Tool-Many Paradigm: Creativity and Regularity in Youngsters' Hyperstories	p. 44
Exploring Narrative Interpretation and Adaptation for Interactive story Creation	p. 50
Narrative Annotation and Editing of Video	p. 62
Story Generation
A Story to Go, Please	p. 74
Threading Facts into a Collective Narrative World	p. 86
Learning Story Marketing through Practical Experience of Story Creation System	p. 98
Enhancing Real-Time Sports Commentary Generation with Dramatic Narrative Devices	p. 11
Zuzie: Collaborative Storytelling Baaed on Multiple Compositions	p. 117
An Interactive Documentary Manifesto	p. 123
Arts and Humanities
Rhetorics of the Interactive 3D Installation ôVirtuelle Mauer/ReConstructing the Wallö	p. 129
From Physical to Non-Material Art - Design Choices of the Digital Artist	p. 141
The iLand of Madeira Location Aware Multimedia Stories	p. 147
Narrative Theories and Modelling
Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic	p. 153
An Analysis of Narrative Moves in Improvisational Theatre	p. 165
Towards a Theoretical Framework for Interactive Digital Narrative	p. 176
Systems
A Data-Driven Case-Based Reasoning Approach to Interactive Storytelling	p. 186
Somethings Gotta Give - Towards Distributed Autonomous Story Appraisal in Improv	p. 198
A Simple Intensity-Based Drama Manager	p. 204
Applications
Player Agency and the Relevance of Decisions	p. 210
Interactive Storytelling in Academic Teaching	p. 216
Teaching English as a Second Language Utilizing Authoring Tools for Interactive Digital Storytelling	p. 222
Posters
Textual vs. Graphical Interaction in an Interactive Fiction Game	p. 232
Motivations for Rereading in Interactive Stories: A Preliminary Investigation	p. 232
The Haiti Earthquake Experience: A Case Study	p. 236
First Person Victim: Developing a 3D Interactive Dramatic Experience	p. 240
Combining Explicit and Implicit Interaction Modes with Virtual Characters in Public Spaces	p. 244
Louis, Mr Dog and Rabbit: Metalepsis in Interactive Narrative	p. 248
Automated Storytelling in Sports: A Rich Domain to Be Explored	p. 252
Level-of-Detail Stories as a Virtual Museum of a Movie	p. 256
Establishing Communication Channels for Digital Storytelling Applications	p. 260
Agency and the Art of Interactive Digital Storytelling	p. 264
Realism and Virtuality: Carmageddon as Contemporary Simulacrum Model	p. 268
Demonstrations
Emohawk: Learning Virtual Characters by Doing	p. 271
Crowd-Sourced AI Authoring with ENIGMA	p. 275
Using Highly Interactive Drama to Help Young People Cope with Traumatic Situations	p. 279
Stories on a Sphere: Hyperglobes as Narrative Platforms for Global Geodata	p. 283
Workshops
Users and Evaluation of Interactive Storytelling	p. 287
Workshop: Education in Interactive Digital Storytelling	p. 289
Interactive Stories for Health Interventions	p. 291
Towards a Shared Vocabulary for Interactive Digital Storytelling	p. 293
Storytelling within an Internet of Things	p. 295
Just Another Tool for Interactive Digital Storytelling? A 1-Day Workshop on Korsakow	p. 297
Tutorial
Introduction to Interactive Story Creation	p. 299
Author Index	p. 301
Table of Contents provided by Ingram. All Rights Reserved.

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.