3040 search results - page 62 / 608 » A framework for user-interfaces to databases |
130
Voted
MASCOTS
2003
15 years 6 months ago
2003
Over the last decade numerous Active Queue Management (AQM) schemes have been proposed in the literature. Many of these studies have been directed towards improving congestion con...
146
Voted
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Modern scientific experiments can generate hundreds of gigabytes to terabytes or even petabytes of data that may furthermore be maintained in large numbers of relatively small fil...
129
click to vote
JIIS
2008
15 years 4 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
159
Voted
CHI
2011
ACM
14 years 8 months ago
2011
ACM
A user task often spans multiple heterogeneous devices, e.g., working on a PC in the office and continuing the work on a laptop or a mobile phone while commuting on a shuttle. How...
123
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
We are in the midst of an explosion of emerging humancomputer interaction techniques that redefine our understanding of both computers and interaction. We propose the notion of Re...