10462 search results - page 125 / 2093 » Towards a |
CHI
2002
ACM
14 years 10 months ago
2002
ACM
Generative design theories are needed to b ridge the gaps between pure scientific knowledge, individual ("point") designs and systematic generation of viable design alte...
CHI
2002
ACM
14 years 10 months ago
2002
ACM
CHI
2002
ACM
14 years 10 months ago
2002
ACM
Two experiments investigated the effects of system response time (SRT) on hypertext navigation. Dependent variables were residence time, emotional strain and memory performance. A...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
POPL
2003
ACM
14 years 10 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...