The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...
The domestic environment is more than a place where to live. It is a "territory of meaning", a place where pleasure, affect and aesthetics are deeply interwoven with the...
Chiara Leonardi, Claudio Mennecozzi, Elena Not, Fa...
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
We present the findings of a cognitive walkthrough inspection on three Personal Health Applications (PHAs). Two of the PHAs, Google Health and Microsoft HealthVault, are general pu...
The management of group context in socially mediating technologies is an important challenge for the design community. To better understand how users manage group context, we expl...