Wireless sensor networks are becoming a basis for a rapidly increasing range of applications. Habitat, flood, and wildfire monitoring are interesting examples of such applicatio...
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
Due to size restrictions, mobile phone user interfaces are often difficult to use[8]. In this short paper, we investigated inducing shortcuts to replace the sequence of actions re...
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution spa...