Sciweavers

306 search results - page 30 / 62
» Integrating science and research in a HCI design course
Sort
View
FM
2006
Springer
172views Formal Methods» more  FM 2006»
13 years 11 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
CSCW
2011
ACM
12 years 11 months ago
Understanding technology choices and values through social class
This ethnographic study of 22 diverse families in the San Francisco Bay Area explores parents’ attitudes about their children’s use of technology. We found that parents from d...
Morgan G. Ames, Janet Go, Joseph Kaye, Mirjana Spa...
PDC
2004
ACM
14 years 1 months ago
Participatory programming and the scope of mutual responsibility: balancing scientific, design and software commitment
Over the past seven years, we have been conducting a variety of participatory design activities with research biologists, programmers, and bioinformaticians at the Institut Pasteu...
Catherine Letondal, Wendy E. Mackay
ICCSA
2007
Springer
14 years 2 months ago
An Automatic Correction Tool for Relational Algebra Queries
Abstract. Relational algebra is one of the main topics covered in undergraduate computer science database courses. In this paper, we present a web-based tool designed to automatica...
Josep Soler, Imma Boada, Ferran Prados, Jordi Poch...
CSCW
2008
ACM
13 years 9 months ago
Supporting medical conversations between deaf and hearing individuals with tabletop displays
This paper describes the design and evaluation of Shared Speech Interface (SSI), an application for an interactive multitouch tabletop display designed to facilitate medical conve...
Anne Marie Piper, James D. Hollan