A model inspired by a scenario found in Grid-based scheduling systems is considered.
Scheduling is performed remotely without access to up-to-date resource availability and …

The higher demand for use of Wireless Sensor Technology, in the presence of complexities
of various deployment environments, and application areas such as wireless multimedia …

Stochastic process algebras have become an accepted part of performance modelling over
recent years. Because of the advantages of compositionality and exibility they are …

We argue the importance of problems concerning the dynamic routing of tasks for service in
environments where the servers have diverse characteristics and are subject to breakdown …

The advantages of using stochastic process algebra to specify performance models are well-
documented. There remains, however, a reluctance in some quarters to use process …

We consider a system where incoming jobs may be executed at different servers, each of
which goes through alternating periods of being available and unavailable. Neither the …

Abstract Wireless Sensor Network (WSN) technology has seen an increasing demand for
use in various application areas including multimedia sensor networks, smart agriculture …

The advantages of compositionality and exibility of stochastic process algebras has led to
them being used to model increasingly larger and more complex systems. Models of such …

Performance evaluation of computer software or hardware architectures may rely on the
analysis of a complex stochastic model whose specification is usually given in terms of a …

We examine the problem of how best to route jobs among a number of queues whose
servers are subject to random periods of unavailability. The optimal routing policy is …