Research explorer tool

Date


Download Available

101 results

Solving the Santa Claus Problem Over a Distributed System

Conference Proceeding
Marchant, D., & Kerridge, J. (2018)
Solving the Santa Claus Problem Over a Distributed System. In K. Chalmers, J. Bækgaard Pedersen, F. Barnes, J. Broenink, R. Ivimey-Cook, A. Sampson, …B. Vinter (Eds.), Communicating Process Architectures 2018
A working solution to the Santa Claus Problem is demonstrated that operates over a distributed system. It is designed and modelled using the client/server model to maintain a ...

Investigation of visual aspects of developmental dyslexia in children

Journal Article
Piotrowska, B., Murray, J., Willis, A., & Kerridge, J. (2017)
Investigation of visual aspects of developmental dyslexia in children. Journal of Vision, 17(10), 640. https://doi.org/10.1167/17.10.640
Developmental dyslexia is a disorder characterised by difficulties with reading, despite adequate intelligence and education. Phonological deficits are often indicated as the ...

Communicating Connected Components: Extending Plug-and-Play to Support Skeletons

Conference Proceeding
Chalmers, K., Kerridge, J., & Pedersen, J. B. (2017)
Communicating Connected Components: Extending Plug-and-Play to Support Skeletons. In Communicating Process Architectures 2016
For a number of years, the Communicating Process Architecture (CPA) community have developed languages and runtimes supporting message passing concurrency. For these we always...

Groovy Parallel Patterns: A Library to Support Parallelization

Presentation / Conference
Kerridge, J., Chalmers, K., & Pedersen, M. (2016, June)
Groovy Parallel Patterns: A Library to Support Parallelization. Paper presented at GR8Conf EU 2016, Copenhagen, Denmark

Using Concurrency and Parallelism Effectively - I

Book
Kerridge, J. (2014)
Using Concurrency and Parallelism Effectively - I. (2nd
The aim of this book is to show both students and practitioners that concurrent and parallel programming does not need to be as hard as it is often portrayed and in fact is of...

Using Concurrency And Parallelism Effectively - II

Book
Kerridge, J. (2014)
Using Concurrency And Parallelism Effectively - II. (2nd

Verifying the CPA Networking Stack using SPIN/Promela.

Conference Proceeding
Chalmers, K., & Kerridge, J. (2013)
Verifying the CPA Networking Stack using SPIN/Promela. In P. H. Welch, F. R. M. Barnes, J. F. Broenink, K. Chalmers, J. B. Pedersen, & A. T. Sampson (Eds.), Communicating Process Architectures 2013, (39-56
This paper presents a verification of the CPA Networking Stack, using the SPIN Model Checker. Our work shows that the system developed for general networking within CPA applic...

RDF recipes for context-aware interoperability in pervasive systems.

Conference Proceeding
Kosek, A., Syed, A., & Kerridge, J. (2012)
RDF recipes for context-aware interoperability in pervasive systems. In Proceedings of IEEE Symposium on Computers and Communications, (1017-1022). https://doi.org/10.1109/ISCC.2010.5546647
Nowadays home automation systems integrate many devices from security system, heating, ventilation and air conditioning system, lighting system or audio-video systems. Every t...

Evaluating an emergent behaviour algorithm in JCSP for energy conservation in lighting systems.

Conference Proceeding
Kosek, A., Syed, A., & Kerridge, J. (2011)
Evaluating an emergent behaviour algorithm in JCSP for energy conservation in lighting systems. In P. Welch, A. T. Sampson, J. B. Pedersen, J. Kerridge, J. F. Broenink, & F. R. M. Barnes (Eds.), Communicating Process Architectures 2011, 143-156. https://doi.org/10.3233/978-1-60750-774-1-143
Since the invention of the light bulb, artificial light is accompanying people all around the world every day and night. As the light bulb itself evolved a lot through years, ...

Performance of the distributed CPA protocol and architecture on traditional networks.

Conference Proceeding
Chalmers, K. (2011)
Performance of the distributed CPA protocol and architecture on traditional networks. In P. Welch, A. T. Sampson, J. B. Pedersen, J. Kerridge, J. F. Broenink, & J. Barnes (Eds.), Communicating Process Architectures 2011, (227-242). https://doi.org/10.3233/978-1-60750-774-1-227
Performance of communication mechanisms is very important in distributed systems frameworks, especially when the aim is to provide a particular type of behavior across a netwo...

Date


16 results

Ontology based knowledge formulation and an interpretation engine for intelligent devices in pervasive environments

2008 - 2011
Anna Kosek | Director of Studies: Prof Jon Kerridge | Second Supervisor: Alistair Armitage

Specknets: a case study for artificial immune systems

2006 - 2012
Despina Davoudani | Director of Studies: Prof Emma Hart | Second Supervisor: Prof Ben Paechter

Investigating communicating sequential processes for Java to support ubiquitous computing

2005 - 2009
Ubiquitous Computing promises to enrich our everyday lives by enabling the environment to be enhanced via compu...
Dr Kevin Chalmers | Director of Studies: Prof Jon Kerridge | Second Supervisor: Dr Imed Romdhani

Wild networks: the articulation of feedback and evaluation in a creative inter-disciplinary design studio

2005 - 2011
Sian Joel | Director of Studies: Dr Michael Smyth | Second Supervisor: Paul Rodgers

Open source software adoption in non-profit organisations ? socio-technical perspectives

2005 - 2010
Guoli Zhang | Director of Studies: Kathy Buckner | Second Supervisor: Keith Horton

Tracking, Analysis and Measurement of Pedestrian Trajectories

2005 - 2016
The realistic simulation of pedestrian movement is a challenging problem, a large number of individual pedestrians may be included in the s...
Sarah Clayton | Director of Studies: Dr Neil Urquhart | Second Supervisor: Prof Jon Kerridge

Generative aspect-oriented component adaptation

2004 - 2008
Due to the availability of components and the diversity of target applications, mismatches between pre-qualified existing components and the particular r...
Yankui Feng | Director of Studies: Prof Xiaodong Liu | Second Supervisor: Prof Jon Kerridge

Monitoring the conformance of planning decisions to urban land use policies using information extraction and geovisualisation

2002 - 2008
In this thesis two existing computer science techniques are used to solve a...
Colin Combe | Director of Studies: Prof Jon Kerridge | Second Supervisor: L. John Old

A configuration approach for selecting a data warehouse architecture

2002 - 2008
Hollie (Brown) | Director of Studies: Prof Jon Kerridge | Second Supervisor: Dr Taoxin Peng

Gesture and Behaviour and its Interpretation by Humans and Computers

2002 - 2007
Trevor Jones | Director of Studies: Alistair Armitage | Second Supervisor: Prof Shaun Lawson

Date


Date