for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
Instant Messaging (IM) is a useful tool for collaborative work. However, the awareness and communication features of IM pose a tension with privacy desires. Inadequate support for...
We demonstrate two complementary interaction techniques for electronic large displays that are designed for cameraequipped mobile phones. The first one enables the direct selectio...
—Human movement models often divide movements into parts. In walking the stride can be segmented into four different parts, and in golf and other sports, the swing is divided int...
Eric Guenterberg, Hassan Ghasemzadeh, Roozbeh Jafa...