Search
Now showing items 1-10 of 48
Adaptive dissemination of network state knowledge in structured peer-to-peer networks
(University of St Andrews, 2015-06-24) - Thesis,
One of the fundamental challenges in building Peer-to-Peer (P2P) applications is to locate resources across a dynamic set of nodes without centralised servers. Structured overlay networks solve this challenge by proving a ...
A flexible, policy-aware middleware system
(University of St Andrews, 2006) - Thesis,
Middleware augments operating systems and network infrastructure to assist in
the creation of distributed applications in a heterogeneous environment. Current
middleware systems exhibit some or all of the following five ...
The architecture of an autonomic, resource-aware, workstation-based distributed database system
(University of St Andrews, 2012-11-30) - Thesis,
Distributed software systems that are designed to run over workstation machines
within organisations are termed workstation-based. Workstation-based systems are
characterised by dynamically changing sets of machines that ...
On the construction of persistent programming environments
(University of St Andrews, 1988) - Thesis,
This thesis presents research into the construction of persistent programming systems. Much of the thesis is concerned with the design and implementation of persistent programming languages, in particular PS-algol and ...
Systems support for distributed learning environments
(University of St Andrews, 2003) - Thesis,
This thesis contends that the growing phenomena of multi-user networked "learning environments" should be treated as distributed interactive systems and that their developers should be aware of the systems and networks ...
Design, implementation and deployment of state machines using a generative approach
(Springer, 2008) - Book item,
We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various artefacts are generated from each state machine, ...
Towards verifying correctness of wireless sensor network applications using Insense and Spin
(Springer, 2009)
The design and implementation of wireless sensor network applications often require domain experts, who may lack expertise in software engineering, to produce resource-constrained, concurrent, real-time software without ...
On the selection of connectivity-based metrics for WSNs using a classification of application behaviour
(IEEE Computer Society, 2010-06-07)
This paper addresses a subset of Wireless Sensor Network (WSN) applications in which data is produced by a set of resource-constrained source nodes and forwarded to one or more sink nodes. The performance of such applications ...
A framework for constraint-based deployment and autonomic management of distributed applications
(University of St Andrews, 2004) - Report,
We propose a framework for deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative constraint language, expressing constraints ...
A framework for constraint-based deployment and autonomic management of distributed applications (extended abstract)
(2004-05) - Conference poster,
We propose a framework for the deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative constraint language, expressing constraints ...