368 search results - page 44 / 74 » The Role of Verification in Interactive Systems Design |
IAJIT
2010
13 years 6 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
As mobile devices become location-aware, it will become possible to know when people are physically co-located and to incorporate this information into social software. Is this va...
ACMDIS
2010
ACM
13 years 7 months ago
2010
ACM
We present our experiences of using an iterative, prototypedriven approach to developing social systems with the participation of communities, inspired by probe-based methodologie...
ACMACE
2006
ACM
14 years 1 months ago
2006
ACM
The Straw-like User Interface is a novel interface system that allows us to virtually experience the sensations of drinking. These sensations are created based on referencing samp...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
The UK e-Science programme is relying on the evolution of the paper lab book into a pervasive data gathering lab system. To date take up of existing commercial or research lab boo...