10182 search results - page 1615 / 2037 » Case Studies |
172
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
407
click to vote
PODS
2009
ACM
16 years 7 months ago
2009
ACM
Skyline computation is widely used in multi-criteria decision making. As research in uncertain databases draws increasing attention, skyline queries with uncertain data have also ...
155
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Information workers often have to balance many tasks and interruptions. In this work, we explore peripheral display techniques that improve multitasking efficiency by helping user...
201
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
153
click to vote
CHI
2004
ACM
2004
ACM
Multiblending: displaying overlapping windows simultaneously without the drawbacks of alpha blending
16 years 7 months ago
Alpha blending allows the simultaneous display of overlapping windows--such as palette windows in visual workspaces. Although alpha blending has been used in some applications, su...