In this paper we inquire material qualities for tangible user interfaces and introduce the term “ephemeral user interface”. We present an example user interface that employs f...
Narrative-centered learning environments offer significant potential for creating effective learning experiences in which students actively participate in engaging story-based prob...
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
It is now increasingly common to extend private workstations with large public displays into a shared multi-display environment. Mouse-based interaction across multiple displays p...
Web pages are often recognized by others through contexts. These contexts determine how linked pages influence and interact with each other. When differentiating such interactions,...