14720 search results - page 594 / 2944 » Interface |
186
click to vote
CHI
1992
ACM
15 years 11 months ago
1992
ACM
We designed, implemented and evaluated a new concept for direct manipulation of databases, called dynamic queries, that allowsuserstoformulatequerieswithgraphicalwidgets,such as s...
140
click to vote
IDS
1994
15 years 11 months ago
1994
In 1989, and again in 1993, panels of database researchers were surveyed about which research areas they considered promising. In both cases, the area of user interfaces was chose...
210
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
170
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
- In this paper, we present a hardware-software cosimulation environment for heterogeneoussystems. To be an efficient system verification environment for the rapid prototyping of h...
173
click to vote
VISSYM
2007
15 years 9 months ago
2007
With the ubiquity of typed text, the style and much of the personality of handwriting has been lost from general communication. To counter this we introduce an artistic real-time ...