972 search results - page 111 / 195 » Intersection types and computational effects |
CSCW
2010
ACM
14 years 5 months ago
2010
ACM
Although Wikipedia has increasingly attracted attention for its in-depth and timely coverage of breaking news stories, the social dynamics of how Wikipedia editors process breakin...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Patients do considerable information work. Technologies that help patients manage health information so they can play active roles in their health-care, such as personal health re...
PPOPP
2006
ACM
14 years 2 months ago
2006
ACM
Tiling has proven to be an effective mechanism to develop high performance implementations of algorithms. Tiling can be used to organize computations so that communication costs i...
CLUSTER
2005
IEEE
14 years 2 months ago
2005
IEEE
Jobs submitted into a cluster have varying requirements depending on user-specific needs and expectations. Therefore, in utility-driven cluster computing, cluster Resource Manage...
DSN
2005
IEEE
14 years 2 months ago
2005
IEEE
Stealth malware programs that silently infect enterprise and consumer machines are becoming a major threat to the future of the Internet [XZ04]. Resource hiding is a powerful stea...