4413 search results - page 152 / 883 » New Directions for CACM |
156
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Debugging is still among the most common and costly of programming activities. One reason is that current debugging tools do not directly support the inquisitive nature of the act...
114
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
The Internet has become an important part of our daily lives, with browsers serving as the main tool of navigation. For users with severe disabilities, access to the Internet can ...
281
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
156
click to vote
CHI
2010
ACM
16 years 25 days ago
2010
ACM
Despite the considerable quantity of research directed towards multitouch technologies, a set of standardized UI components have not been developed. Menu systems provide a particu...
175
click to vote
FASE
2010
Springer
16 years 24 days ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...