2880 search results - page 164 / 576 » context 2007 |
149
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
142
Voted
GROUP
2007
ACM
15 years 8 months ago
2007
ACM
The paper systematically explores the social dimension of external interruptions of human activities. Interruptions and interruption handling are key issues in human-computer inte...
174
Voted
DPPI
2007
ACM
15 years 8 months ago
2007
ACM
This paper focuses on the design of pleasurably playful interfaces within an interactive art context. It describes the development of a framework of thirteen pleasures of play and ...
121
click to vote
STACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
105
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This article presents results from a small-scale pilot study investigating linguistic production and structural patterns while multitasking and interrelating these findings with c...