5675 search results - page 26 / 1135 » Formalising Performative Interaction |
FAC
2000
14 years 9 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
84
Voted
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
61
Voted
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Portable music players such as Apple's iPod have become ubiquitous in many environments, but one environment in particular has elicited new safety concerns and challenges -in...
INTERACT
2003
14 years 11 months ago
2003
: Experimental studies of spatial input devices have focused on demonstrating either the superiority of 3D input devices over 2D input devices, or the superiority of bimanual inter...
ADHOCNOW
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In the presence of interference, two single hop links can interact in a number of different ways, exhibiting significantly different behavior. In this paper, we consid...