496 search results - page 32 / 100 » Flexible timeline user interface using constraints |
CHI
2008
ACM
15 years 10 months ago
2008
ACM
Shape writing is an input technology for touch-screen mobile phones and pen-tablets. To shape write text, the user spells out word patterns by sliding a finger or stylus over a gr...
GRID
2008
Springer
14 years 9 months ago
2008
Springer
The medical community is producing and manipulating a tremendous volume of digital data for which computerized archiving, processing and analysis is needed. Grid infrastructures ar...
62
Voted
CHI
2005
ACM
15 years 10 months ago
2005
ACM
The subArctic user interface toolkit has extensibility as one of its central goals. It seeks not only to supply a powerful library of reusable interactive objects, but also make i...
76
Voted
CHI
2005
ACM
15 years 10 months ago
2005
ACM
A detailed study of Java programmers' text editing found that the full flexibility of unstructured text was not utilized for the vast majority of programmers' character-...
121
click to vote
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...