9390 search results - page 44 / 1878 » 'Interactivity' - Tracking a New Concept |
WWW
2007
ACM
15 years 10 months ago
2007
ACM
When authors publish their interpretations of the ideas, opinions, claims or rebuttals in the literature, they are drawing on a repertoire of well understood moves, contributing t...
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
167
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
INTERACT
1997
14 years 11 months ago
1997
The activation of certain functions in groupware affects different users who might have conflicting interests. We will develop technical mechanisms to support users in regulating t...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
The Community Bar is a groupware tool supporting informal awareness and casual interaction for small communities of intimate collaborators. Its conceptual design is primarily base...