996 search results - page 116 / 200 » Partial Materialized Views |
125
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Sites like YouTube offer vast sources of data for studies of Human Computer Interaction (HCI). However, they also present a number of methodological challenges. This paper offers ...
106
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
This panel brings together usability and voting experts to discuss voting user experience in American governmental elections. Technological improvements and voting debacles have m...
215
click to vote
POPL
2004
ACM
16 years 4 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...
144
click to vote
CADE
2003
Springer
16 years 4 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...
210
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
We are witnessing an explosive increase in the complexity of the information systems we rely upon. Autonomic systems address this challenge by continuously configuring and tuning ...