5054 search results - page 633 / 1011 » How designers design and program interactive behaviors |
192
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
288
click to vote
PLDI
2003
ACM
16 years 3 days ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
191
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
A new software tool for user-interface development and assessment of ubiquitous computing applications is available for CHI researchers. The software permits researchers to use co...
176
click to vote
AOSD
2005
ACM
16 years 12 days ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...
165
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we present the design of a cost-effective wearable sensor to detect and indicate the strength and other characteristics of the electric field emanating from a laptop...