Computer Science (School of): Recent submissions
Now showing items 1-5 of 517
-
Detecting cloud virtual network isolation security for data leakage
(University of St Andrews, 2019-06-26) - ThesisThis thesis considers information leakage in cloud virtually isolated networks. Virtual Network (VN) Isolation is a core element of cloud security yet research literature shows that no experimental work, to date, has been ... -
Full coverage displays for non-immersive applications
(University of St Andrews, 2019-06-26) - ThesisFull Coverage Displays (FCDs), which cover the interior surface of a room with display pixels, can create novel user interfaces taking advantage of natural aspects of human perception and memory which we make use of in our ... -
Automatically improving constraint models in Savile Row through associative-commutative common subexpression elimination
(Springer, 2014-09-08) - Conference itemWhen solving a problem using constraint programming, constraint modelling is widely acknowledged as an important and difficult task. Even a constraint modelling expert may explore many models and spend considerable time ... -
Qualitative modelling via constraint programming
(2014-04) - Journal articleQualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without ... -
Employee surveillance : the road to surveillance is paved with good intentions
(2018-10-06) - Conference item