972 search results - page 120 / 195 » Intersection types and computational effects |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
We present data from detailed observation of 24 information workers that shows that they experience work fragmentation as common practice. We consider that work fragmentation has ...
CHI
2001
ACM
14 years 9 months ago
2001
ACM
Increasingly, documents exist primarily in digital form. System designers have recently focused on making it easier to read digital documents, with annotation as an important new ...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
This paper investigates fundamental properties of Marker-based Vision (MBV) systems. We present a theoretical analysis of the performance of basic tag designs which is extended th...
MOBISYS
2007
ACM
14 years 8 months ago
2007
ACM
This paper presents MyExperience, a system for capturing both objective and subjective in situ data on mobile computing activities. MyExperience combines the following two techniq...