3217 search results - page 289 / 644 » Designing kinetic interactions for organic user interfaces |
199
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...
150
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Starpoint Solutions was contracted by a major North American bank to design, develop, and usability test a series of five Web-based, interactive lessons teaching low- to middle-in...
138
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Widget containers are used everywhere on the Web, for instance as customizable start pages to Web desktops. In this poster, we describe the extension of a widget container with an...
134
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
This paper introduces bubbling menus, a new design for cascading drop-down menus. Bubbling menus combine the bubble cursor [10] with directional mouse-gesture techniques to facili...
164
click to vote
CHITALY
2011
14 years 6 months ago
2011
The latest Internet phenomenon is Twitter, a micro-blogging platform that in just a few years has attracted millions of users. With short messages (tweets), following and follower...