This paper presents a type system to control the migration of code between network nodes in a concurrent distributed framework, using the Dπ language. We express resource access policies as types and enforce policies via a type system. Types describe paths travelled by migrating code, enabling the control of history sensitive access to resources. Sites are logically organised in subnetworks tha...

Highlights: • Neurosurgical decision-making critically revolves around current and potential Quality of Life. • Greater understanding of key functional systems in the brain, and their adaptive potential, dramatically increases the relevance of brain mapping techniques to optimise individual patient outcomes. • fMRI allows mapping of key functional regions and related networks that can assist th...

Task allocation is an effective solution for resource management in Sensor and Actuator Networks. Optimal strategies lead to a reduction of individuals working on the same task and, therefore, to decreased interferences among them. We are currently studying a probabilistic task allocation algorithm inspired by the behaviour observed in animal colonies. In this paper, we introduce our ongoing wo...

Wireless sensor networks (WSNs) are used for event detection and data collection in a plethora of environmental monitoring applications. However a critical factor limits the extension of WSNs into new application areas: energy constraints. This thesis develops self-organising energy efficient data collection and dissemination protocols in order to support WSNs in event detection and data collec...