3058 search results - page 331 / 612 » Reflections |
136
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Interviews are a cornerstone of human-computer interaction research. As a research method, they can both be deeply valuable and distinctly challenging. Pragmatic challenges of int...
157
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Infrastructure software comprises code libraries or runtime processes that support the development or operation of application software. A particular infrastructure system may sup...
179
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
We describe the design of tangible interfaces to the KidPad collaborative drawing tool. Our aims are to support the reenactment of stories to audiences, and integration within rea...
278
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
171
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...