Sciweavers

13534 search results - page 2290 / 2707
» Modelling Human-Computer Interaction
Sort
View
165
Voted
NETGAMES
2003
ACM
16 years 2 days ago
A fair message exchange framework for distributed multi-player games
—This paper presents a framework for message delivery in real-time multi-player distributed interactive games that use the client-server model. Based on this framework, we propos...
Katherine Guo, Sarit Mukherjee, Sampath Rangarajan...
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
16 years 2 days 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
16 years 2 days 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
16 years 2 days 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
AGENTCL
2003
Springer
16 years 2 days ago
Nonmonotonic Commitment Machines
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
Amit K. Chopra, Munindar P. Singh
« Prev « First page 2290 / 2707 Last » Next »