David Fox

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2022
Enabling machine learning-ready HPC ensembles with Merlin.
Future Gener. Comput. Syst., 2022

2021
Agile security testing.
Netw. Secur., 2021

2020
Dealing with technical debt.
Netw. Secur., 2020

Losing the human touch.
Netw. Secur., 2020

2019
Merlin: Enabling Machine Learning-Ready HPC Ensembles.
CoRR, 2019

2015
Progress Towards a Smarter Office via a Novel Intelligent System for Message Organisation by Unifying E-Mails & Phone Calls.
Proceedings of the Workshop Proceedings of the 11th International Conference on Intelligent Environments, 2015

Keeping Your Threads Untangled: An Intelligent System for Semi-automatically Organising Corporate Messages by Content.
Proceedings of the 2015 International Conference on Intelligent Environments, 2015

2013
CORaL: Comparison of Ranked Lists for Analysis of Gene Expression Data.
J. Comput. Biol., 2013

Early Stage Verification and Validation of Cyber-Physical Systems through Requirements Driven Probabilistic Certificate of Correctness Metric.
Proceedings of the Complex Systems Design & Management, 2013

2008
Agile Methods and User-Centered Design: How These Two Methodologies are Being Successfully Integrated in Industry.
Proceedings of the Agile Development Conference, 2008

2007
Experience report: using functional programming to manage a linux distribution.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007


  Loading...