Reactive embedded systems, such as sensor nodes, or real-time control systems, are embedded into and interact with a physical environment for controlling and measuring purposes. When deployed in environments with changing ...

The main difference between a software and hardware design is that the hardware cannot be patched or updated after releasing. Also in the case of software, compilation and tests can be performed with the “click of a button”, ...

The cloud computing paradigm has recently become an increasing popular method for the delivery of internet services. While the increased utilisation of the cloud has made it easier for cloud operators to recover their ...

Software operating in domains such as process management systems, wireless sensor networks and spacecraft control systems are expected to continue uninterrupted operation over extended periods, without any manual supervision, ...

This thesis focuses on modelling and inference for maintenance systems for the purpose of utility optimisation. Providing standardised notation throughout, we first demonstrate the motivation for investigating the problem ...

This thesis proposes a novel approach called the derived data approach that supports the construction and consumption of explorable visual narratives in Technology Enhanced Learning (TEL). Like many other domains, TEL ...

Wireless sensor networks (WSNs) are composed of small autonomous devices called sensor nodes, used to measure environmental phenomena. These sensor nodes are typically unattended battery-powered devices that typically have ...

This dissertation investigates the notions of sorting and explicit substitution in the framework of bigraphs. We present kind sortings which endeavour to add enough structure to bigraphs to allow faithful representations, ...

Healthcare information, for example patient records, must be available to appropriate professionals at all times. The application of pervasive technology to healthcare means that those professionals are using such technology ...