Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
In the context of tangibility, mobile phones are rapidly becoming sensor-rich handheld computers with the potential to take better advantage of our physical capabilities and our l...
A fundamental issue in user interface design is the effective use of available screen space, commonly referred to as the screen real estate problem. This paper presents a new dist...
M. Sheelagh T. Carpendale, David J. Cowperthwaite,...
In the 21st century, Aerial and satellite images are information rich. They are also complex to analyze. For GIS systems, many features require fast and reliable extraction of ope...
In this paper, the authors propose Zoomable User Interfaces as an alternative presentation medium to address several common presentation problems. Zoomable User Interfaces offer n...