: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
Phoebe Sengers, Kirsten Boehner, Michael Mateas, G...
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
Luca P. Carloni, Kenneth L. McMillan, Alberto L. S...
Abstract. Protocols for authentication and key establishment have special requirements in a wireless environment. In the next generation of wireless systems it is likely that publi...
Peripheral or ambient displays move information from the periphery to the center of human attention and back. Our research group is interested in the interaction and interface des...
The growing need for personalization and device independence calls for effective ways of engineering adaptive Web applications. This requires formats, languages and structured pro...