We present our experiences of using an iterative, prototypedriven approach to developing social systems with the participation of communities, inspired by probe-based methodologie...
Abstract. Advances in the miniaturization and embedding of electronics for microcomputing, communication and sensor/actuator systems, have fertilized the pervasion of technology in...
New forms of tangible and spatial child computer interaction and supporting technologies can be designed to leverage the way children develop intelligence in the world. In order t...
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Mar...
The organizational and social issues associated with the development, implementation and use of computer-based information systems have increasingly attracted the attention of info...