Abstract. Advances in wireless and mobile communication technologies have enabled the development of various RFID-based systems and applications in addition to the extension of the...
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
Axel Siebenborn, Alexander Viehl, Oliver Bringmann...
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
FXPAL's Pantheia system enables users to create virtual models by `marking up' a physical space with pre-printed visual markers. The meanings associated with the markers...
Eleanor G. Rieffel, Don Kimber, Jim Vaughan, Sagar...
We describe a new widget and interaction technique, known as a “Frisbee,” for interacting with areas of a large display that are difficult or impossible to access directly. A ...
Azam Khan, George W. Fitzmaurice, Don Almeida, Nic...