Browsing by Supervisor "Patros, Panos"
Now showing items 1-3 of 3
-
Control-theoretical stress-testing for cross-platform compliance
(The University of Waikato, 2020)Modern systems are required more and more to be able to provide performance reliability qualities for not just one system but cross platform as well. Stress testing applications allow for performance testing of a system, ... -
Hokohoko: A comprehensive framework for evaluating artificial intelligence-based and statistical techniques for foreign exchange speculation
(The University of Waikato, 2020)This thesis investigates the measurement of predictor performance as applied to foreign exchange speculation. It outlines the development of key ideas and techniques over the course of the last 120 years, and examines the ... -
Model checking for cloud autoscaling using WATERS
(The University of Waikato, 2020)This thesis investigates the use of formal methods to verify cloud system designs against Service Level Agreements (SLAs), towards providing guarantees under uncertainty. We used WATERS (the Waikato Analysis Toolkit for ...
