Sciweavers

1690 search results - page 17 / 338
» Serial experiments online
Sort
View
SPIN
2004
Springer
14 years 2 months ago
Verifying Commit-Atomicity Using Model-Checking
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
Cormac Flanagan
ACII
2007
Springer
14 years 2 months ago
SuperDreamCity: An Immersive Virtual Reality Experience That Responds to Electrodermal Activity
In this paper we describe an artistic exhibition that took place in our highly-immersive virtual-reality laboratory. We have allowed visitors to explore a virtual landscape based o...
Doron Friedman, Kana Suji, Mel Slater
AIIDE
2006
13 years 10 months ago
A Framework for Summarizing Game Experiences as Narratives
Online role playing games may be enjoyed periodically for months or years at a time. Players often log onto the game and play for a short time, and then log off for a long period ...
Yun-Gyung Cheong, R. Michael Young
IADIS
2004
13 years 10 months ago
Improving the Student Learning Experience for SQL Using Automatic Marking
An online interactive learning environment which offers immediate feedback to student learning SQL was constructed. This has supported the gathering of interesting statistics on s...
Gordon Russell, Andrew Cumming
VRML
2003
ACM
14 years 1 months ago
Early experiences with a 3D model search engine
New acquisition and modeling tools make it easier to create 3D models, and affordable and powerful graphics hardware makes it easier to use them. As a result, the number of 3D mo...
Patrick Min, John A. Halderman, Michael M. Kazhdan...