David Kendall - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2023

A novel potential field model for perimeter and agent density control in multiagent swarmsNeil Eliot, David Kendall, Michael J. Brockway, Paul Oman 0001, Ahmed Bouridane. eswa, 227:120183, October 2023. [doi]

2019

Void Reduction in Self-Healing SwarmsNeil Eliot, David Kendall, Alun Moon, Michael J. Brockway, Martyn Amos. isalalife 2019: 87-94 [doi]

2018

A Flexible Laboratory Environment Supporting Honeypot Deployment for Teaching Real-World Cybersecurity SkillsNeil Eliot, David Kendall, Michael Brockway. access, 6:34884-34895, 2018. [doi]

A New Metric for the Analysis of Swarms Using Potential FieldsNeil Eliot, David Kendall, Michael Brockway. access, 6:63258-63267, 2018. [doi]

2015

A longitudinal approach to measuring the impact of mobility on low-latency anonymity networksStephen Doswell, David Kendall, Nauman Aslam, Graham Sexton. iwcmc 2015: 108-113 [doi]

2013

Please slow down!: the impact on tor performance from mobilityStephen Doswell, Nauman Aslam, David Kendall, Graham Sexton. ccs 2013: 87-92 [doi]

The novel use of Bridge Relays to provide persistent Tor connections for mobile devicesStephen Doswell, Nauman Aslam, David Kendall, Graham Sexton. pimrc 2013: 3371-3375 [doi]

2011

Vulnerability of insens to denial of service attacksKashif Saghar, David Kendall, Ahmed Bouridane. icassp 2011: 1896-1899 [doi]

2010

Applying formal modelling to detect DoS attacks in wireless mediumKashif Saghar, William Henderson, David Kendall, Ahmed Bouridane. csndsp 2010: 896-900 [doi]

Formal modelling of a robust Wireless Sensor Network routing protocolKashif Saghar, William Henderson, David Kendall, Ahmed Bouridane. ahs 2010: 281-288 [doi]

2001

A formal design language for real-time systems with dataSteven Bradley, William Henderson, David Kendall, Adrian Robson. SCP, 40(1):3-29, 2001.

Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing JitterWilliam Henderson, David Kendall, Adrian Robson. rts, 20(1):5-25, 2001.

Formal modelling and analysis of broadcasting embedded control systemsDavid Kendall. PhD thesis, Newcastle University, Newcastle upon Tyne, UK, 2001. [doi]

1998

Integrating AORTA with Model-Based Data Specification LanguagesSteven Bradley, William Henderson, David Kendall, Adrian Robson. FASE 1998: 54-70 [doi]

1996

A Formal Design and Implementation Method for Real-Time Embedded SystemsSteven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes. euromicro 1996: 77 [doi]

1995

Validation, verification and implementation of timed protocols using AORTASteven Bradley, William Henderson, David Kendall, Adrian Robson. pstv 1996: 205-220

1994

1971

Some Data-Analytic Problems in Archaeology and HistoryDavid Kendall. ifip 1971: 1371-1376

Sign in or sign up to see more results.

runs on WebDSL