Richard Verhoeven

Learn More
In this paper we present a complete approach to programming sensor networks 1. The main contribution concerns the separation of three abstraction levels, viz., application level, network level and node level, leaving more room for standardization than with current practices. In addition we propose to program the network from an overall perspective rather(More)
Body Sensor Networks (BSNs) are used for diverse applications ranging from monitoring for medical purposes, sport coaching to computer gaming. This leads to viewing the BSN as an application platform and requires the capability to dynamically extend and configure BSN applications, including reprogramming the sensor nodes of the BSN. We propose a trust(More)
Matsad is a structure editor designed to facilitate the writing of documents of a mathematical nature. The principal element of Matsad is a system for deening and using \stencils" which deene the visual and logical structure of notational elements in a document. This paper overviews the main features of the editor from a user's viewpoint. Particular(More)