Abstract Wireless Sensor Networks (WSNs) have found more and more applications in a
variety of pervasive computing environments. However, how to support the development …

More than five years ago, the OMG proposed the Model Driven Architecture (MDA™)
approach to deal with the separation of platform dependent and independent aspects in …

Grid and cloud computing systems have been extensively used to solve large and complex
problems in science and engineering fields. These systems include powerful computing …

Due to the rapid development of sensor technology, current sensor nodes are much more
sophisticated in terms of CPU (Central Processing Unit), memory, and wireless transceiver …

As sensor network deployments begin to grow there emerges an increasing need to
overcome the obstacles of connecting and sharing heterogeneous sensor resources …

There are various kinds of environmental sensor networks (ESNs) implementations for
monitoring environment. These facilitate the study of environment pollution and fundamental …

The spreading of urban areas and the growth of human population worldwide raise societal
and environmental concerns. To better address these concerns, the monitoring of the …

Increasing widespread use of sensor and networking technologies are yielding ubiquitous
sensors and applications that pervade daily life. At the same time, context-aware pervasive …

Implementing a multi-agent system (MAS) on a wireless sensor network comprising sensor-
actuator nodes with processing capability enables these nodes to perform tasks in a …

In this thesis we present a framework for automatic formal analysis of competitive stochastic
systems, such as sensor networks, decentralised resource management schemes or …