This project aims at researching and investigating how to efficiently employ unmanned aerial vehicles (UAV) ‒ commonly known as drones
Category: Testing & Verification
Using runtime verification to generate intrusion timelines from memory images
Every action carried out in a system is recorded and logged in memory. These actions, also known as events, could
Maintaining chain of custody in a cloud environment, using database-encryption techniques
Given its widespread presence in the area of processing, and the lower storage costs it promises, cloud computing enjoys considerable
Direct digital synthesis on FPGA
This work presents an implementation of a direct digital synthesis (DDS) system, on both a software level and a hardware
Formal Model Extraction from Informal Descriptions
The translation of natural-language specifications to model- based specification could be defined as the translation from unstructured to structured-system specification.
Meltdown and Spectre Vulnerabilities, and Performance Issues of Related Patches
Meltdown and Spectre are hardware vulnerabilities at the microarchitectural level of a central processing unit (CPU), allowing an attacker to
Investigating MR interface patterns for just-in-time QA information
Software testing is the predominant methodology used by the software development industry to build confidence in a software product prior
Demand prediction for shared mobility services using time series modelling
People are becoming increasingly interested in new mobility solutions, such as shared mobility, which are both cheaper and environmentally friendly
Rethinking the bug-tracking paradigm
In modern development processes, the bug-tracking tool is one of the most important means of tracking any tasks, features or bugs