Staff directory

Search for a surname in the box below and then click "Search" to search for Staff. 

If you want to get in touch but you don’t know who to contact, fill in our enquiry form and one of our advisers will get back to you as soon as possible.
45 results

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...

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...

JCSP agents-based service discovery for pervasive computing.

Conference Proceeding
Kosek, A., Kerridge, J., Syed, A., & Armitage, A. (2009)
JCSP agents-based service discovery for pervasive computing. In P. H. Welch, H. Roebbers, J. F. Broenink, F. R. M. Barnes, C. G. Ritson, A. T. Sampson, & G. S. Vinter (Eds.), Communicating Process Architectures 2009 - WoTUG-32, (363-373). https://doi.org/10.3233/978-1-60750-065-0-363
Device and service discovery is a very important topic when considering pervasive environments. The discovery mechanism is required to work in networks with dynamic topology a...

Application of CoSMoS parallel design patterns to a pedestrian simulation.

Conference Proceeding
Clayton, S., Urquhart, N. B., & Kerridge, J. (2009)
Application of CoSMoS parallel design patterns to a pedestrian simulation. In R. Wyrzykowski, J. Dongarra, K. Karczewski, & J. Wasniewski (Eds.), Parallel Processing and Applied Mathematics, (505-512). https://doi.org/10.1007/978-3-642-14403-5_53
In this paper, we discuss the implementation of a simple pedestrian simulation that uses a multi agent based design pattern developed by the CoSMoS research group. Given the n...

An investigation into distributed channel mobility support for Communicating Process Architectures.

Conference Proceeding
Chalmers, K., & Kerridge, J. (2009)
An investigation into distributed channel mobility support for Communicating Process Architectures. In P. H. Welch, F. R. M. Barnes, G. S. Stiles, J. F. Broenink, H. Roebbers, & A. T. Sampson (Eds.), Communicating Process Architectures 2009, (205-223). https://doi.org/10.3233/978-1-60750-065-0-205
Localised mobile channel support is now a feature of Communicating Process Architecture (CPA) based frameworks, from JCSP and C++CSP to occam-pi. Distributed mobile channel su...

A dynamic connection capability for pervasive adaptive environments using JCSP

Presentation / Conference
Kosek, A., Syed, A., Kerridge, J., & Armitage, A. (2009, April)
A dynamic connection capability for pervasive adaptive environments using JCSP. Paper presented at AISB 2009 Convention, Heriot-Watt University Edinburgh
The house, office or warehouse environment is full of devices that make users’ life and work easier. People nowadays use personal computers, laptops, Personal Digital Assistan...

Modelling a Multi-Core Media Processor Using JCSP

Conference Proceeding
Kosek, A., Kerridge, J., & Syed, A. (2008)
Modelling a Multi-Core Media Processor Using JCSP. In P. H. Welch, S. Stepney, F. A. Polack, F. R. Barnes, A. A. McEwan, G. S. Stiles, …A. T. Sampson (Eds.), Communicating Process Architectures 2008, (431-443). https://doi.org/10.3233/978-1-58603-907-3-431
Manufacturers are creating multi-core processors to solve specialized problems. This kind of processor can process tasks faster by running them in parallel. This paper explore...

A critique of JCSP networking.

Conference Proceeding
Chalmers, K., Kerridge, J., & Romdhani, I. (2008)
A critique of JCSP networking. In P. H. Welch, S. Stepney, F. Polack, F. R. M. Barnes, A. McEwan, G. S. Stiles, …A. T. Sampson (Eds.), Communicating Process Architectures 2008, 271-291. doi:10.3233/978-1-58603-907-3-271
We present a critical investigation of the current implementation of JCSP Networking, examining in detail the structure and behavior of the current architecture. Information i...

Mobile agents and processes using communicating process architectures.

Conference Proceeding
Kerridge, J., Haschke, J., & Chalmers, K. (2007)
Mobile agents and processes using communicating process architectures. In P. H. Welch, S. Stepney, F. Polack, F. R. M. Barnes, A. McEwan, G. S. Stiles, …A. T. Sampson (Eds.), Communicating Process Architectures 2008, 397-410. doi:10.3233/978-1-58603-907-3-397
The mobile agent concept has been developed over a number of years and is widely accepted as one way of solving problems that require the achievement of a goal that cannot be ...