School of Computing Graduate Theses
Recent Submissions
-
Migrating web Applications from SQL to NoSQL Databases
In the Big Data era, data is emerging dramatically and the structure of data is becoming increasingly flexible. Non-Relational databases, such as the NoSQL class of Databases, are playing a major role as an enabler technology ... -
Synthesis and Verification of Models using Satisfiability Modulo Theories
Model-driven development (MDD) advocates using models as the primary software development artifacts in place of source code. Automatic synthesis and verification of models are essential to simplify the process of creation ... -
Behavioral Modelling from Encrypted Remote Desktop Protocol Network Traffic
Traditional traffic monitoring relies on availability of unencrypted payload data inside of network packets, on which pattern match analysis is performed. With the growth in network traffic encryption, user behavioral ... -
Software Defect Prediction Using Rich Contextualized Language Use Vectors
Context. Software defect prediction aims to find defect prone source code, and thus reduce the effort, time and cost involved with ensuring the quality of software systems. Both code and non-code metrics are commonly used ... -
Dynamic Access Control Framework for Internet of Things
In the near future, IoT ecosystems will enable billions of smart things to interconnect and communicate information about themselves and their physical environments. The high density of smart things in these environments ... -
Computational Estimation of Personal Properties From Language
Research in natural language and other modalities is starting to shed light on individuals personal properties. Estimating the personal properties of an individual or a group of individuals is the task of detecting ... -
Studying the Distribution Platforms for Game Mods to Create Active Modding Communities
Gamer loyalty is important for the sales of a game. However, the gaming industry and the needs of gamers are rapidly increasing, making it difficult for game developers to address these needs. Game mods are modifications ... -
Leveraging Q&A platforms to improve issue management in software projects
Traditional issue management systems like Bugzilla are widely used in open source and commercial projects. Stack Exchange uses its online question and answer (Q&A) platform to manage bugs, which brings several new unique ... -
A Study of the Use of Docker Compose and DockerHub Images
Docker is a tool used to encapsulate a software package with all of its dependencies and configurations into an isolated environment. Nowadays, developers compose multiple Docker images to form multi-component applications. ... -
Testing Models of Reactive Systems
Testing models of modern Real-time Embedded (RTE) systems is not straightforward due to timing constraints, numerous if not infinite possible behaviors, and complex communications between components. Software testing ... -
Studying the Gas Usage and Price of Transactions in the Ethereum Blockchain Platform
Ethereum is a blockchain platform that hosts and executes general-purpose computer programs known as smart contracts. Users execute smart contracts by sending transactions to one of the functions of the contract. The ... -
Reconstruction of Heterogeneous Scattering Media
A scattering medium is a material in which light does not travel in straight paths. The light travels a certain distance, changes direction, and has a chance of being absorbed by the medium. Three coefficients and a phase ... -
Leveraging the Social Knowledge of Software Systems to Improve the Development Process
The software development process is steadily evolving into a collaborative, distributed, and knowledge-intensive venture. This evolution has led to growing demands towards supportive technologies and tools. These demands ... -
Model-Level Debugging in the Context of the Model-Driven Development
Model-driven Development (MDD) is a software development approach that advocates using models rather than source code. MDD can decrease complexity by raising the level of abstraction, and increase productivity by automation, ... -
Computer-assisted Workflow Recognition for Central Venous Catheterization
Purpose: The transition to competency-based medical education from an apprenticeship model requires a greater amount of human resources to evaluate trainees. Therefore, there is an increased need for tools that can evaluate ... -
Studying the Integration Practices and the Evolution of Ad Libraries in the Google Play Store
In-app advertisements have become a major revenue for app developers in the mobile app economy. Ad libraries play an integral part in this ecosystem as app developers integrate these libraries into their apps to display ... -
Dynamic Representation of Anatomical Structures in Radiation Therapy Treatment Planning and Evaluation
Segmentation is a ubiquitous operation in radiation therapy (RT) and in medical image computing (MIC) in general. Various data representations can describe segmentation results, such as binary volumes or surface models. ... -
Development of a Computational Treatment Planning System for Radiofrequency Ablation of Vertebral Metastases
Introduction: Vertebral metastases affect around 61,000 Americans annually. The presence of vertebral metastases may lead to skeletal related events which can include pain, fracture, and neurologic compromise, all of which ... -
Using Deep Models to Predict Sudden Episodes of Hypotension in Critically Ill Patients
The vast quantities of data generated and collected in the Intensive Care Unit (ICU) have given rise to large retrospective datasets that are frequently used for observational studies. The temporal nature and fine granularity ... -
Evaluation of Open Source Software Platform For Transperineal In-Bore MRI-Guided Targeted Prostate Biopsy
Current targeted prostate biopsy methods often rely on commercial systems to support the procedure. These systems tend to lack the export of analysis results for secondary analysis studies used in research. Transperineal ...
RSS 1.0