740 search results - page 116 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CHI
2005
ACM
16 years 1 months ago
2005
ACM
We present data from detailed observation of 24 information workers that shows that they experience work fragmentation as common practice. We consider that work fragmentation has ...
105
click to vote
CCGRID
2005
IEEE
15 years 7 months ago
2005
IEEE
Large distributed Grid systems pose new challenges in job scheduling due to complex workload characteristics and system characteristics. Due to the numerous parameters that must b...
115
click to vote
ACMACE
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents our development of a synthetic traffic model for the interactive online computer game Quake3. The goal is a traffic model that can be used by researchers and I...
108
click to vote
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
ECSCW
2001
15 years 2 months ago
2001
Single Display Groupware (SDG) supports face-to-face collaborators working over a single shared display, where all people have their own input device Although SDG is simple in conc...