Now showing items 1-10 of 352
A scalable architecture for the demand-driven deployment of location-neutral software services
(University of St Andrews, 2010) - Thesis
This thesis presents a scalable service-oriented architecture for the demand-driven deployment of location-neutral software services, using an end-to-end or ‘holistic’ approach to address identified shortcomings of the ...
(University of St Andrews, 2017) - Thesis
Short and long supports for constraint propagation
(2013-01) - Journal article
Special-purpose constraint propagation algorithms frequently make implicit use of short supports -- by examining a subset of the variables, they can infer support (a justification that a variable-value pair may still form ...
On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics
(University of St Andrews, 2010-06-04) - Thesis
In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric ...
Applying contextual integrity to the study of social network sites
(University of St Andrews, 2015-11-30) - Thesis
Social network sites (SNSs) have become very popular, with more than 1.39 billion people using Facebook alone. The ability to share large amounts of personal information with these services, such as location traces, ...
Observation-driven configuration of complex software systems
(University of St Andrews, 2004-06) - Thesis
The ever-increasing complexity of software systems makes them hard to comprehend, predict and tune due to emergent properties and non-deterministic behaviour. Complexity arises from the size of software systems and the ...
A case study in user support for managing OpenSim based multi user learning environments
(2017) - Journal article
Immersive 3D Multi User Learning Environments (MULE) have shown sufficient success to warrant their consideration as a mainstream educational paradigm. These are based on 3D Multi User Virtual Environment platforms (MUVE), ...
A testbed for embedded systems
(University of St Andrews, 1994) - Thesis
Testing and Debugging are often the most difficult phase of software development. This is especially true of embedded systems which are usually concurrent, have real-time performance and correctness constraints and which ...
A peer-to-peer infrastructure for resilient web services
(IEEE Computer Society, 2006) - Conference item
This paper describes an infrastructure for the deployment and use of Web Services that are resilient to the failure of the nodes that host those services. The infrastructure presents a single interface that provides ...
A parametric spectral model for texture-based salience
(Springer, 2015) - Conference item
We present a novel saliency mechanism based on texture. Local texture at each pixel is characterised by the 2D spectrum obtained from oriented Gabor filters. We then apply a parametric model and describe the texture at ...