William Henderson

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