867 search results - page 75 / 174 » User Interface Prototyping: Tools and Techniques |
ICMI
2003
Springer
14 years 2 months ago
2003
Springer
Kinesthetic feedback is a key mechanism by which people perceive object properties during their daily tasks – particularly inertial properties. For example, transporting a glass...
EDBT
2009
ACM
14 years 2 days ago
2009
ACM
In a world of wide-scale information sharing, the decentralized coordination has to consolidate a variety of heterogeneity. Shared data are described in different formats, i.e. da...
SOUPS
2006
ACM
14 years 2 months ago
2006
ACM
We describe Passpet, a tool that improves both the convenience and security of website logins through a combination of techniques. Password hashing helps users manage multiple acc...
UIST
2003
ACM
14 years 2 months ago
2003
ACM
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...
TACAS
2000
Springer
14 years 12 days ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...