Sciweavers

1748 search results - page 221 / 350
» interact 2003
Sort
View
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
15 years 11 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
UIST
2003
ACM
15 years 11 months ago
Synchronous gestures for multiple persons and computers
This research explores distributed sensing techniques for mobile devices using synchronous gestures. These are patterns of activity, contributed by multiple users (or one user wit...
Ken Hinckley
UIST
2003
ACM
15 years 11 months ago
TalkBack: a conversational answering machine
Current asynchronous voice messaging interfaces, like voicemail, fail to take advantage of our conversational skills. TalkBack restores conversational turn-taking to voicemail ret...
Vidya Lakshmipathy, Chris Schmandt, Natalia Marmas...
UIST
2003
ACM
15 years 11 months ago
A molecular architecture for creating advanced GUIs
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
Eric Lecolinet
XMLSEC
2003
ACM
15 years 11 months ago
Optimistic fair contract signing for Web services
Reliable and atomic transactions are a key to successful eBusiness interactions. Reliable messaging subsystems, such as IBM’s MQ Series, or broker-based techniques have been tra...
Hiroshi Maruyama, Taiga Nakamura, Tony Hsieh