Sciweavers

1999 search results - page 267 / 400
» Dependently Typed Grammars
Sort
View
CHI
2008
ACM
16 years 6 months ago
A diary study of mobile information needs
Being mobile influences not only the types of information people seek but also the ways they attempt to access it. Mobile contexts present challenges of changing location and soci...
Timothy Sohn, Kevin A. Li, William G. Griswold, Ja...
CHI
2006
ACM
16 years 6 months ago
Keeping up appearances: understanding the dimensions of incidental information privacy
We conducted a survey of 155 participants to examine privacy concerns relating to the viewing of incidental information (i.e. traces of previous activity unrelated to the task at ...
Kirstie Hawkey, Kori M. Inkpen
CHI
2006
ACM
16 years 6 months ago
Evaluating a fisheye view of source code
Navigating and understanding the source code of a program are highly challenging activities. This paper introduces a fisheye view of source code to a Java programming environment....
Mikkel Rønne Jakobsen, Kasper Hornbæk
VLSID
2002
IEEE
122views VLSI» more  VLSID 2002»
16 years 6 months ago
Evaluating Run-Time Techniques for Leakage Power Reduction
While some leakage power reduction techniques require modification of process technology achieving savings at the fabrication stage, others are based on circuit-level optimization...
David Duarte, Yuh-Fang Tsai, Narayanan Vijaykrishn...
POPL
2007
ACM
16 years 6 months ago
Logic-flow analysis of higher-order programs
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
Matthew Might