The Information and Communication Technology (ICT) sector represent two to three percentsof the world energy consumption and about the same percentage of GreenHouse Gas(GHG) emission. Moreover the IT-related costs represent fifty per-cents of the electricity billof a company. In…
The effective integration of knowledge representation, reasoning and learning into a robust computational model is one of the key challenges in Computer Science and Artificial Intelligence. In particular, temporal models have been fundamental in describing the behaviour of Compu…
Fault-tolerant architectures for software-based systems have been used in various practical applications, including Right control systems for commercial airliners (e.g. AIRBUS A340, A310) as part of an aircraft's so-called fiy-bY-'win: Right control system [1], the control syste…
This thesis advances the modelling and verification of access control policies by using automated knowledge-based symbolic model checking techniques. The key contributions of this thesis are threefold: firstly, a modelling language that expresses dynamic access control policies …
This thesis is on the automatic creation of model generators to assist the validation of model transformations. The model driven software development methodology advocates models as the main artefact to represent software during development. Such models are automatically convert…
This thesis proposes an Enterprise Resource Planning (ERP) implementation model for small to medium-sized enterprises (SMEs) in the discrete manufacturing industry sector in Iran. Three discrete manufacturing SMEs, in two different geographical locations in Iran (Isfahan and Teh…
Primary headache disorders are the most common complaints worldwide. The socioeconomic and personal impact of headache disorders is enormous, as it is the leading cause of workplace absence. Headache patients’ consultations are increasing as the population has increased in size,…
Software design is a significant stage in software development life cycle as it creates a blueprint for the implementation of the software. Design-errors lead to costly and insufficient implementation. Hence, it is crucial to provide solutions to discover the design error in ear…
Many studies propose new advanced railway subsystems, such as Driver Advisory System (DAS), Automatic Door Operation (ADO) and Traffic Management System (TMS), designed to improve the overall performance of current railway systems. Real time train positioning information is one …
The thesis investigates two fundamental dynamics of participation and collaboration in mature, community-led Free/Open Source (F/OS) software projects - commercialization and peripheral participation. The aim of the thesis is to examine whether the power relations that underlie …
This thesis demonstrates the signal function and diagnostic value of user resistance in a software development project. Its starting point is the critical analysis of managerial common sense which negates resistance, or sees resistance to change as a 'nuisance' and as the manife…
This research investigated students' use and perception of value of the mobile smartphone application Memrise as a support to their vocabulary learning of the English as a Foreign Language (EFL). This study followed a mixed method sequential explanatory approach in which data we…
The massive upload of text on the internet makes the text overhead one of the important challenges faces the Information Retrieval (IR) system. The purpose of this research is to maintain reasonable relevancy and increase the efficiency of the information retrieval system by cre…
Question-Answering (QA) is an important research area, which is concerned with developing an automated process that answers questions posed by humans in a natural language. QA is a shared task for the Information Retrieval (IR), Information Extraction (IE), and Natural Language …
The complexity of the modem dynamic computing systems has motivated software engineering researchers to explore new sources of inspiration for equipping such systems with autonomic behaviours. Self-awareness has recently gained considerable attention as a prominent property for …
Children like to draw, but how easy is it for them to draw on a touch screen device? More specifically, how do children adapt the way that they draw to the device, to their own limitations and to the motivational context for action? Despite the fact that many children choose to …
This research explores the potential of utilising social Web data as a source of contextual information for searching and information retrieval tasks. While using a semantic and ontological approach to do so, it works towards a support system for providing adaptive and personali…
The upcoming 5th Generation (5G) mobile networks will be different from the previous mobile network generations in the fact that it will enable the mobile networks industry, besides offering superior broadband services, to enhance Internet of Things (IoT) industries such as vehi…
Since the first application of fuzzy logic in the field of control engineering, fuzzy logic control has been successfully employed in controlling a wide variety of applications, such as commercial appliances, industrial automation, robots, traffic control, cement kilns and autom…