Combining interactive technology with traditional toys promises to significantly enhance the educational value of children's play. Designing such augmented toy 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 ...
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...
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...
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...