Abstract. We propose a new type of input for mobile devices by sensing forces applied by users to device casings. Deformation of the devices is not necessary for such “force gest...
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 ...
Abstract. Devices like PDAs, mobile phones and Smartcards can communicate with each other and to exchange information and they should be made mutually aware of each other. For priv...
In this article, we describe a Service Creation Environment (SCE) that allows for protocol- and technology-independent development, deployment, and maintenance of interactive, men...
Two of the most important design issues for modern processors are power and performance. It is important for students in computer organization classes to understand the tradeoff b...