Adaptive GC-Aware Load Balancing Strategy for High-Assurance Java Distributed Systems

An Adaptive VM Provisioning Method for Large-Scale Agent-based Traffic Simulations on the Cloud

Agile Design Science Research

Algorithms for computing backbones of propositional formulae

An Analysis of Performance-critical Properties of Modelica Models

An analysis of the suitability of the Movidius Myriad architecture for scientific computing

Anomaly detection in performance regression testing by transaction profile estimation

Wearables for Physical Privacy

Vehicular-Communications-Based Speed Advisory System for Electric Bicycles

Verifiable Limited Disclosure: Reporting and Handling Digital Evidence in Police Investigations