In recent years, the software engineering community has begun to study program navigation and tools to support it. Some of these navigation tools are very useful, but they lack a ...
Joseph Lawrance, Rachel K. E. Bellamy, Margaret M....
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
Digital Technology is constantly improving as information becomes wireless. These advances demand more wearable and mobile form factors for products that access information. A pro...
Francine Gemperle, Chris Kasabach, John Stivoric, ...
We consider complex systems that are composed of many interacting elements, evolving under some dynamics. We are interested in characterizing the ways in which these elements may b...
Jonathan E. Rowe, Michael D. Vose, Alden H. Wright
Physical buttons have the unique ability to provide lowattention and vision-free interactions through their intuitive tactile clues. Unfortunately, the physicality of these interf...