Sign in
Michael Dales
Publication Activity (10 Years)
Years Active: 2006-2023
Publications (10 Years): 1
</>
Publications
</>
Amelia Holcomb
,
Michael Dales
,
Patrick Ferris
,
Sadiq Jaffer
,
Thomas Swinfield
,
Alison Eyres
,
Andrew Balmford
,
David Coomes
,
Srinivasan Keshav
,
Anil Madhavapeddy
A Case for Planetary Computing.
CoRR
(2023)
Antonio Di Ferdinando
,
Paul D. Ezhilchelvan
,
Michael Dales
,
Jon Crowcroft
A QoS-Negotiable Middleware System for Reliably Multicasting Messages of Arbitrary Size.
ISORC
(2006)
Adam Biltcliffe
,
Michael Dales
,
Sam Jansen
,
Tom Ridge
,
Peter Sewell
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL.
ICNP
(2006)