8621 search results - page 276 / 1725 » Design for interaction |
179
click to vote
JANCL
2006
15 years 6 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
157
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Multi-user, touch-sensing input devices create opportunities for the use of cooperative gestures ? multi-user gestural interactions for single display groupware. Cooperative gestu...
211
click to vote
IRCDL
2010
15 years 8 months ago
2010
One of the most challenging issues in managing the large and diverse data available on the World Wide Web is the design of interactive systems to organize and represent information...
143
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
This paper proposes the use of an interaction modeling language called MoLIC to graphically represent scenarios as an additional resource in software development. MoLIC brings hum...
158
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Within the past few years, the field of HCI has increasingly addressed the issue of environmental sustainability, primarily identifying the challenges and developing an agenda for...