Search
Now showing items 1-10 of 2006
Statistical anomaly detection in communication networks
(Defence Science and Technology Laboratory (Dstl) publication, DSTL/PUB107185., 2018-02-08)
This chapter describes the development of algorithms for automatic detection of anomalies from multi-dimensional, undersampled and incomplete datasets. The challenge in this work is to identify and classify behaviours as ...
The Formal Semantics of Program Slicing for Non-Terminating Computations
(Wiley, 2016)
Since the original development of program slicing in 1979 [.Weiser
slices 1979.] there have been many attempts to define a suitable
semantics which will precisely define the meaning of a slice.
Particular issues include ...
A methodology for cost-benefit analysis of information security technologies
(Wiley, 2018-10-01)
Although information security technologies (such as digital rights management products) has been proven effective and successful in protecting the confidentiality of sensitive information by providing access control, these ...
Analysis of the relationship between Saudi Arabia parents' education and economic level parental control of internet usage
(Macrotheme Capital Management, 2015)
Abstract
This paper examined the relationship between parents’ educational level in Saudi families and the level of their control of their children’s internet usage. It also broadly Identified the impact of Saudi families’ ...
A Flow Sensitive Security Model for Cloud Computing Systems
(2014-05-13)
A flow sensitive security model is presented to analyse information flow in federated cloud systems. Each cloud and the entities of the cloud system are classified into different security levels which form a security ...
Provably Correct Derivation of Algorithms Using FermaT
(Springer, 2014)
The transformational programming method of algorithm derivation starts
with a formal specification of the result to be achieved, plus some
informal ideas as to what techniques will be used in the implementation.
The ...
The Anisotropic Elasticity of the Human Vocal Fold
(SciTechnol, 2016-04-17)
Objective: To verify the anisotropic nature of the vocal folds by
reproducing an experiment led by Rholfs that measured vocal fold
elasticity in the transverse and longitudinal directions. To present
a physiological ...
A Normative Theory of the Information Society
(Emerald, 2014)
This is a book review, no abstract.
THE ISSUE. Traffic, Health, Environment; Intelligent Solutions Sustaining Urban Economies.
(Intelligent Transport Systems World Congress, Tokyo, 2013, 2013-10)
THE ISSUE is a project within the Regions of Knowledge scheme funded through the European Commission’s Seventh Framework Programme. THE ISSUE focuses on Traffic, Health and Environment to achieve Intelligent Solutions for ...