Michael Ward

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


AUTO-PILOT: Development and Validation of a Tool to Extract Structured Data in Interfacility Transfer Paperwork.
Proceedings of the AMIA 2022, 2022

Enhanced Data-Driven LoRa LP-WAN Channel Model in Birmingham.
Proceedings of the 2022 IEEE World AI IoT Congress (AIIoT), 2022

Hybrid Localization techniques in LoRa-based WSN.
Proceedings of the 25th International Conference on Automation and Computing, 2019

Active Thermal Sensor for Improved Distributed Temperature Sensing in Haptic Arrays.
J. Sensors, 2018

Plastic Deformation of Micromachined Silicon Diaphragms with a Sealed Cavity at High Temperatures.
Sensors, 2016

Blinded Diffie-Hellman - Preventing Eavesdroppers from Tracking Payments.
Proceedings of the Security Standardisation Research - First International Conference, 2014

Utility of cardiac magnetic resonance in assessing right-sided heart failure in sarcoidosis.
BMC Medical Imaging, 2013

Adaptive glide slope control for autonomous airdrop systems.
Proceedings of the American Control Conference, 2012

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Smart Pipes - Instrumented Water Pipes, Can This Be Made a Reality?
Sensors, 2011

Design, implementation, and evaluation of EnviroMic: A storage-centric audio sensor network.
ACM Trans. Sens. Networks, 2009

AdaptSens: An Adaptive Data Collection and Storage Service for Solar-Powered Sensor Networks.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis.
Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007

Suggestions for stream based parallel systems in Ada.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

EnviroMic: Towards Cooperative Storage and Retrieval in Audio Sensor Networks.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

EMV card payments - An update.
Inf. Secur. Tech. Rep., 2006

Syntax-driven implementation of software programming language control constructs and expressions on FPGAs.
Proceedings of the 2006 International Conference on Compilers, 2006

Proceedings of the Encyclopedia of Cryptography and Security, 2005

Implementation and control of wireless data collection on construction sites.
J. Inf. Technol. Constr., 2004

Hardware Implementation of Programming Languages for Real-Tim.
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

Language issues of compiling Ada to hardware.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Hardware implementation of the Ravenscar Ada tasking profile.
Proceedings of the International Conference on Compilers, 2002

Hardware compilation of sequential Ada.
Proceedings of the 2001 International Conference on Compilers, 2001

Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects.
IEEE Trans. Computers, 1998

Digital certificates and payment systems.
Inf. Secur. Tech. Rep., 1998

Gryphon: An Information Flow Based Approach to Message Brokering
CoRR, 1998