On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces

QR Code

On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces

While HCI has a long tradition of formally modelling task-based interactions with graphical user interfaces, there has been less progress in modelling emerging ubiquitous computing systems due in large part to their highly contextual nature and dependence on unreliable sensing systems. We present an...

Full description

Bibliographic Details
Main Authors:	Benford, Steve, Calder, Muffy, Rodden, Tom, Sevegnani, Michele
Format:	Article
Published:	Association for Computing Machinery 2016
Subjects:	Bigraphs Formal modelling Mixed reality systems Human-centered computing Human computer interaction (HCI); Human- centered computing HCI design and evaluation methods; Theory of computation Models of computation; Software and its engineering Formal methods
Online Access:	https://eprints.nottingham.ac.uk/39044/

Similar Items

Putting trajectories to work: translating a HCI framework into design practice
by: Velt, Raphael
Published: (2018)

Large scale collaborative virtual environments
by: Greenhalgh, Chris
Published: (1997)

Interactions with Valuescapes: applications of extra-sensory values in everyday coffee personalization
by: Miles, Oliver
Published: (2025)

Guidelines for composing locative soundtracks
by: Hazzard, Adrian
Published: (2016)

A framework to guide the design of environments coupling mobile and situated technologies
by: Bedwell, Benjamin D.
Published: (2010)

Exploring the use of brain-sensing technologies for natural interactions
by: Pike, Matthew
Published: (2017)

An ethnographic study of people’s strategies to avoid food waste
by: Reyes Cruz, Aurea Gisela
Published: (2016)

Many-screen viewing: collaborative consumption of television media across multiple devices
by: Anstead, Edward
Published: (2016)

Outdata-ed museums: creating ethical and transparent data collection processes in museums
by: Cameron, Harriet R
Published: (2023)

Designing interfaces in public settings
by: Reeves, Stuart
Published: (2009)

Medical ontologies to support human disease research and control
by: Hadzic, Maja, et al.
Published: (2005)

Arts, Maps and People: Exploring engaging objects
by: Barriga Abril, Carlos Xavier
Published: (2016)

A little respect: four case studies of HCI’s disregard for other disciplines
by: Marshall, Joe, et al.
Published: (2017)

Realtime computer interaction via eye tracking
by: Dubey, Premnath
Published: (2004)

An agent on my shoulder: AI, privacy and the application of human-like computing technologies to music creation
by: Chamberlain, Alan, et al.
Published: (2017)

A Human-Centered Semantic Service Platform for the Digital Ecosystems Environment
by: Dong, Hai, et al.
Published: (2010)

Little flock - designing and evaluating a mobile application for Christians in house groups
by: Wang, Zhenyi
Published: (2014)

An economic anthropology of computer-mediated non-monetary exchange in England
by: Harvey, John
Published: (2016)

Understanding receptivity to interruptions in mobile human-computer interaction
by: Fischer, Joel
Published: (2011)

A robotic manipulator trajectory monitoring system in virtual environment
by: Hatam Dalef, Huda
Published: (2018)

The influence of social identity when digitally sharing location
by: Rahman, Abdur
Published: (2016)

A survey of the trajectories conceptual framework: investigating theory use in HCI
by: Velt, Raphael, et al.
Published: (2017)

Promoting Higher Order Thinking Skills via IPTEACES e-Learning Framework in the Learning of Information Systems Units
by: Isaias, P., et al.
Published: (2014)

Reputation-based task allocation for improving realibility in crowdsourcing
by: Abu Jaziz, Mohd Khairul Sazaney
Published: (2017)

Enhanced replication strategy with balanced quorum technique and data center selection method in cloud environment
by: Mohd Ali, Fazlina
Published: (2022)

The art and ‘science’ of opera: composing, staging & designing new forms of interactive theatrical performance
by: Chamberlain, Alan, et al.
Published: (2017)

Tailored scenarios: a low-cost online method to elicit perceptions on designs using real relationships
by: Coughlan, Tim, et al.
Published: (2013)

User requirements for the development of smartphone self-reporting applications in healthcare
by: Craven, Michael P., et al.
Published: (2013)

A systematic review of dementia focused assistive technology
by: Evans, Joanna, et al.
Published: (2015)

HCI Factors in Flashlight Based Interface Design
by: Jonathan, Green
Published: (2020)

Decoding AI art: from motivation to manifestation
by: Salimbeni, Guido
Published: (2025)

In-the-loop or on-the-loop? Interactional arrangements to support team coordination with a planning agent
by: Fischer, Joel E., et al.
Published: (2017)

Building the capacity of learning professionals through an infusion of formal and informal learning
by: Bolt, Susan
Published: (2008)

Basic operational generalizations, managerial requirements and issues in the use of non-formal education
by: M. Yassin, Sulaiman
Published: (1982)

Audio technology and mobile human-computer interaction: from space and place, to social media, music, composition and creation
by: Chamberlain, Alan, et al.
Published: (2017)

Towards emotional and socially realistic game companions with personality
by: Chowanda, Andry
Published: (2018)

Visual demand evaluation methods for in-vehicle interfaces
by: Pettitt, Michael Andrew
Published: (2008)

Attention-driven scenography
by: Skarth-Hayley, Luke
Published: (2025)

New directions in information technology law: learning from human–computer interaction
by: Urquhart, Lachlan, et al.
Published: (2017)

Experiences of family carers of people with cancer receiving home-based end-of-life care services
by: Sharaf, Ahmed Khamis
Published: (2023)