William Henderson

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 2

Top Topics

Experimental Design

Text Localization And Recognition

Top Venues

Publications

Paul Fergus, Carl Chalmers, William Henderson, Danny Roberts, Atif Waraich
Pressure Ulcer Categorization and Reporting in Domiciliary Settings Using Deep Learning and Mobile Devices: A Clinical Trial to Evaluate End-to-End Performance. IEEE Access 11 (2023)
Paul Fergus, Carl Chalmers, William Henderson, Danny Roberts, Atif Waraich
Pressure Ulcer Categorisation using Deep Learning: A Clinical Trial to Evaluate Model Performance. CoRR (2022)
Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane
Applying formal modelling to detect DoS attacks in wireless medium. CSNDSP (2010)
Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane
Formal modelling of a robust Wireless Sensor Network routing protocol. AHS (2010)
William Henderson, Peter G. Taylor
State-dependent Coupling of Quasireversible Nodes. Queueing Syst. Theory Appl. 37 (1/3) (2001)
William Henderson, David Kendall, Adrian Robson
Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter. Real Time Syst. 20 (1) (2001)
Xiuli Chao, William Henderson, Peter G. Taylor
State-Dependent Coupling in General Networks. Queueing Syst. Theory Appl. 39 (4) (2001)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
A formal design language for real-time systems with data. Sci. Comput. Program. 40 (1) (2001)
David Kendall, Steven Bradley, William Henderson, Adrian Robson
bCANDLE: Formal Modelling and Analysis of CAN Control Systems. IEEE Real Time Technology and Applications Symposium (1998)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Integrating AORTA with Model-Based Data Specification Languages. FASE (1998)
J. L. Coleman, William Henderson, Peter G. Taylor
Product form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets. Perform. Evaluation 26 (3) (1996)
Andrew J. Coyle, Boudewijn R. Haverkort, William Henderson, Charles E. M. Pearce
A mean-value analysis of slotted-ring network models. Telecommun. Syst. 6 (1) (1996)
Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes
A Formal Design and Implementation Method for Real-Time Embedded Systems. EUROMICRO (1996)
Helen Tomlinson, William Henderson
Computer supported collaborative learning in schools: a distributed approach. Br. J. Educ. Technol. 26 (2) (1995)
William Henderson, Bruce S. Northcote, Peter G. Taylor
Triggered batch movement in queueing networks. Queueing Syst. Theory Appl. 21 (1-2) (1995)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Validation, verification and implementation of timed protocols using AORTA. PSTV (1995)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Designing and Implementing Correct Real-Time Systems. FTRTFT (1994)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Application-oriented real time algebra. Softw. Eng. J. 9 (5) (1994)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
A formally based hard real-time kernel. Microprocess. Microsystems 18 (9) (1994)
William Henderson, Bruce S. Northcote, Peter G. Taylor
Geometric equilibrium distributions for queues with interactive batch departures. Ann. Oper. Res. 48 (5) (1994)
J. L. Coleman, William Henderson, Peter G. Taylor
A convolution algorithm for calculating exact equilibrium distributions in resource allocation problems with moderate user interference. IEEE Trans. Commun. 42 (234) (1994)
Andrew J. Coyle, William Henderson, Charles E. M. Pearce, Peter G. Taylor
A general formulation for mean-value analysis in product-form batch-movement queueing networks. Queueing Syst. Theory Appl. 16 (3-4) (1994)
William Henderson
Finding and Using Exact Equilibrium Distributions for Stochastic Petri Nets. Comput. Networks ISDN Syst. 25 (10) (1993)
Andrew J. Coyle, William Henderson, Peter G. Taylor
Reduced load approximations for loss networks. Telecommun. Syst. 2 (1) (1993)
William Henderson, D. Lucic
Aggregation and Disaggregation Through Insensitivity in Stochastic Petri Nets. Perform. Evaluation 17 (2) (1993)
William Henderson, Peter G. Taylor
Insensitivity in discrete time queues with a moving server. Queueing Syst. Theory Appl. 11 (3) (1992)
William Henderson, Peter G. Taylor
Embedded Processes in Stochastic Petri Nets. IEEE Trans. Software Eng. 17 (2) (1991)
William Henderson, D. Lucic
Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets. PNPM (1991)
William Henderson
Performance Analysis: When Do We Give Up on Product Form Solutions. Comput. Networks ISDN Syst. 20 (1) (1990)
William Henderson, Peter G. Taylor
Product Form in Networks of Queues with Batch Arrivals and Batch Services. Queueing Syst. Theory Appl. 6 (1) (1990)
William Henderson, Charles E. M. Pearce, Peter G. Taylor, Nico M. van Dijk
Closed Queueing Networks with Batch Services. Queueing Syst. Theory Appl. 6 (1) (1990)
William Henderson, Peter G. Taylor
Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets. PNPM (1989)
William Henderson, R. W. Kennington, Charles E. M. Pearce
A Second Look at a Problem of Queueing in Lanes. Transp. Sci. 18 (1) (1984)