1411 search results - page 53 / 283 » Interactive Coding for Interactive Proofs |
HASE
2008
IEEE
14 years 5 months ago
2008
IEEE
Web applications often use dynamic pages that interact with each other by accessing shared objects, e.g., session objects. Interactions between dynamic pages need to be carefully ...
ICST
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
CHI
2005
ACM
14 years 11 months ago
2005
ACM
There is growing interest in technologies that support user experiences emphasizing aesthetic satisfaction and enjoyment rather than task accomplishment. Evaluating such experienc...
DIGRA
2005
Springer
14 years 4 months ago
2005
Springer
Interactive story writing is a new medium for creative expression. The story “writer” uses a computer game (such as BioWare’s Neverwinter Nights) to create an interactive st...
CHI
2008
ACM
14 years 11 months ago
2008
ACM
We present data from detailed observations of CityWall, a large multi-touch display installed in a central location in Helsinki, Finland. During eight days of installation, 1199 p...