The continuing miniaturization of technology coupled with wireless networks has made it feasible to physically embed sensor network systems into the environment. Sensor net proces...
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ...
In this paper, we propose a dynamic QoS, D-QoS, model which allows the QoS requirements be reconfigured dynamically. A privilege user can request a network interruption to guarant...