4066 search results - page 416 / 814 » Almost Complete Sets |
176
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
157
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
This paper describes an ethnographic study completed within a kindergarten environment with the view of gaining insights into the development of new technology for young children....
155
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
In this paper, we describe an interface for browsing and skipping digital video content in a consumer setting; that is, sitting and watching television from a couch using a standa...
168
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We report on a diary study of how and why knowledge workers use the World Wide Web. By examining in detail a complete two-day set of Web activities from each of 24 people, we cons...
311
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...