9511 search results - page 1532 / 1903 » Selected Design Issues |
185
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
XQuery, the standard query language for XML, is gaining popularity among users with a SQL background; indeed, formulating XQuery and SQL queries requires comparable skills. Howeve...
168
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The input vocabulary for touch--screen interaction on handhelds is dramatically limited, especially when the thumb must be used. To enrich that vocabulary we propose to discrimina...
171
Voted
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Debugging and diagnostic tools are some of the most important software development tools, but most expect developers choose the right code to inspect. Unfortunately, this rarely o...
197
Voted
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
153
Voted
MOBIHOC
2009
ACM
16 years 7 months ago
2009
ACM
Sectorized antennas provide an attractive solution to increase wireless network capacity through higher spatial reuse. Despite their increasing popularity, the real-world performa...