871 search results - page 67 / 175 » Designing Graphics Programming Interfaces for Mobile Devices |
SIGCSE
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes a new tool for introducing computer graphics and multimedia applications into first year, called QuickDraw, and our experience using it. QuickDraw provides an...
106
click to vote
FASE
2000
Springer
15 years 2 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...
ICMI
2003
Springer
15 years 4 months ago
2003
Springer
A novel text entry system designed based on the ubiquitous 12button telephone keypad and its adaptation for a soft keypad are presented. This system can be used to enter full text...
IUI
2004
ACM
15 years 4 months ago
2004
ACM
While sketches are commonly and effectively used in the early stages of design, some information is far more easily conveyed verbally than by sketching. In response, we have combi...
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...