6197 search results - page 920 / 1240 » Sandbridge Software Tools |
150
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Design problems involve issues of stylistic preference and flexible standards of success; human designers often proceed by intuition and are unaware of following any strict rule-b...
146
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
In designing Jabberwocky—a speech-based interface to Microsoft PowerPoint—we have tried to go beyond simple commands like “Next slide, please” and make a tool that aids sp...
158
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
195
click to vote
AADEBUG
2000
Springer
15 years 11 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
161
click to vote
CC
2000
Springer
15 years 11 months ago
2000
Springer
JESP is a tool for statically examining the usage of user thrown exceptions in Java source code. Reported here are the first findings over a dataset of 31 publicly available Java...