Sciweavers

3804 search results - page 277 / 761
» interactions 2008
Sort
View
188
Voted
ACMDIS
2008
ACM
15 years 8 months ago
Towards guidelines for designing augmented toy environments
Combining interactive technology with traditional toys promises to significantly enhance the educational value of children's play. Designing such augmented toy environments, ...
Steve Hinske, Marc Langheinrich, Matthias Lampe
193
Voted
DSVIS
2008
Springer
15 years 8 months ago
ReWiRe: Designing Reactive Systems for Pervasive Environments
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
Geert Vanderhulst, Kris Luyten, Karin Coninx
158
Voted
CADE
2008
Springer
16 years 7 months ago
Model Checking for Stability Analysis in Rely-Guarantee Proofs
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
Hasan Amjad, Richard Bornat
CHI
2008
ACM
16 years 7 months ago
Impact of screen size on performance, awareness, and user satisfaction with adaptive graphical user interfaces
Adaptive personalization, where the system adapts the interface to a user's needs, has the potential for significant performance benefits on small screen devices. However, re...
Leah Findlater, Joanna McGrenere
CHI
2008
ACM
16 years 7 months ago
Early olpc experiences in a rural uruguayan school
In this paper, we discuss children's and teachers' experiences in a small rural town in Uruguay where every child in elementary school has received a laptop from the OLP...
Juan Pablo Hourcade, Daiana Beitler, Fernando Corm...