Sciweavers

5054 search results - page 311 / 1011
» How designers design and program interactive behaviors
Sort
View
CHI
2006
ACM
16 years 7 months ago
Barista: An implementation framework for enabling new tools, interaction techniques and views in code editors
Recent advances in programming environments have focused on improving programmer productivity by utilizing the inherent structure in computer programs. However, because these envi...
Andrew Jensen Ko, Brad A. Myers
PLDI
2012
ACM
13 years 10 months ago
Speculative linearizability
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa
MUM
2009
ACM
133views Multimedia» more  MUM 2009»
16 years 2 months ago
Understanding interaction in hybrid ubiquitous computing environments
Different kinds of computing environment effect human interaction in different kinds of ways and understanding how different environments ‘work’, as it were, is important to t...
Andy Crabtree, Tom Rodden
POPL
2005
ACM
16 years 7 months ago
Parametric polymorphism for XML
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
Haruo Hosoya, Alain Frisch, Giuseppe Castagna
AVI
2008
15 years 9 months ago
Balancing physical and digital properties in mixed objects
Mixed interactive systems seek to smoothly merge physical and digital worlds. In this paper we focus on mixed objects that take part in the interaction. Based on our Mixed Interac...
Céline Coutrix, Laurence Nigay