985 search results - page 146 / 197 » Abstract Interactions and Interaction Refinement in Model-Dr... |
144
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Abstract Within the home, digital photos lack the physical affordances that make collocated photo-sharing easy and opportunistic. Family members have difficulty accessing the perso...
145
click to vote
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
150
click to vote
HCI
2009
15 years 1 months ago
2009
Abstract. The Web is constantly evolving into an unprecedented and continuously growing source of knowledge, information and services, potentially accessed at by anyone anytime, an...
156
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
129
click to vote
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...