Skip to main content

Research Repository

Advanced Search

Communicating Connected Components: Extending Plug-and-Play to Support Skeletons (2017)
Presentation / Conference Contribution
Chalmers, K., Kerridge, J., & Pedersen, J. B. (2016, August). Communicating Connected Components: Extending Plug-and-Play to Support Skeletons. Presented at Communicating Process Architectures 2016, Copenhagen, Denmark

For a number of years, the Communicating Process Architecture (CPA) community have developed languages and runtimes supporting message passing concurrency. For these we always provide a set of reusable processes called plug and play. These components... Read More about Communicating Connected Components: Extending Plug-and-Play to Support Skeletons.

Visual-spatial-motor integration in a cross-section of primary-aged children: implications for assessing risk of Dyslexia (2015)
Presentation / Conference Contribution
Piotrowska, B., Willis, A., MacLean, R., Murray, J., & Kerridge, J. (2015, August). Visual-spatial-motor integration in a cross-section of primary-aged children: implications for assessing risk of Dyslexia. Presented at European Conference on Visual Perception (ECVP) 2015

Dyslexia is a common condition characterized by difficulties with reading and writing despite adequate intelligence, education and motivation. Many individuals with dyslexia also have problems integrating visual information over space and time, and /... Read More about Visual-spatial-motor integration in a cross-section of primary-aged children: implications for assessing risk of Dyslexia.

Process discovery in highly parallel distributed systems. (2014)
Presentation / Conference Contribution
Kerridge, J. (2014, August). Process discovery in highly parallel distributed systems. Presented at Communicating Process Architectures 2014

In distributed data processing systems it may happen that data arrives for
processing for which the appropriate algorithm is not available on the specific node
of the distributed system. It is however known that the required algorithm is
available... Read More about Process discovery in highly parallel distributed systems..

Verifying the CPA Networking Stack using SPIN/Promela. (2013)
Presentation / Conference Contribution
Chalmers, K., & Kerridge, J. (2013, August). Verifying the CPA Networking Stack using SPIN/Promela. Presented at 35th WoTUG conference on concurrent and parallel programming

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 applications works under the conditions defined for it. The model itself focuses... Read More about Verifying the CPA Networking Stack using SPIN/Promela..

RDF recipes for context-aware interoperability in pervasive systems. (2012)
Presentation / Conference Contribution
Kosek, A., Syed, A., & Kerridge, J. (2010, June). RDF recipes for context-aware interoperability in pervasive systems. Presented at IEEE Symposium on Computers and Communications 2010

Nowadays home automation systems integrate many devices from security system, heating, ventilation and air conditioning system, lighting system or audio-video systems. Every time a new device is installed, problems with connecting it to other devices... Read More about RDF recipes for context-aware interoperability in pervasive systems..

Application of CoSMoS parallel design patterns to a pedestrian simulation. (2009)
Presentation / Conference Contribution
Clayton, S., Urquhart, N. B., & Kerridge, J. (2009, September). Application of CoSMoS parallel design patterns to a pedestrian simulation. Presented at International Conference on Parallel Processing and Applied Mathematics PPAM 2009: Parallel Processing and Applied Mathematics

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 nature of Multi Agent Systems (MAS), parallel processing techniques are inev... Read More about Application of CoSMoS parallel design patterns to a pedestrian simulation..

JCSP agents-based service discovery for pervasive computing. (2009)
Presentation / Conference Contribution
Kosek, A., Kerridge, J., Syed, A., & Armitage, A. (2009, November). JCSP agents-based service discovery for pervasive computing. Presented at Communicating Process Architectures 2009 - WoTUG-32

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 and on limited software, and be able to accept different device descriptions... Read More about JCSP agents-based service discovery for pervasive computing..

An investigation into distributed channel mobility support for Communicating Process Architectures. (2009)
Presentation / Conference Contribution
Chalmers, K., & Kerridge, J. (2009, November). An investigation into distributed channel mobility support for Communicating Process Architectures. Presented at 32nd Communicating Process Architecture conference (CPA)

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 support has also been attempted in JCSP Networking and occam-pi via the pony... Read More about An investigation into distributed channel mobility support for Communicating Process Architectures..

An application of CoSMoS design methods to pedestrian simulation. (2009)
Presentation / Conference Contribution
Clayton, S., Urquhart, N., & Kerridge, J. (2009, November). An application of CoSMoS design methods to pedestrian simulation. Presented at 32nd Communicating Process Architectures Conference, CPA 2009, Eindhoven, The Netherlands

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 nature of Multi Agent Systems (MAS), parallel processing techniques are inev... Read More about An application of CoSMoS design methods to pedestrian simulation..

A dynamic connection capability for pervasive adaptive environments using JCSP (2009)
Presentation / Conference Contribution
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

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 Assistants, mobile phones and many more devices with ease. The mechanism to connec... Read More about A dynamic connection capability for pervasive adaptive environments using JCSP.

Mobile agents and processes using communicating process architectures. (2008)
Presentation / Conference Contribution
Kerridge, J., Haschke, J.-O., & Chalmers, K. (2008, September). Mobile agents and processes using communicating process architectures. Presented at 31st Communicating Process Architectures 2008

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 serviced at a specific node in a network. The concept of a mobile process i... Read More about Mobile agents and processes using communicating process architectures..

Modelling a Multi-Core Media Processor Using JCSP (2008)
Presentation / Conference Contribution
Kosek, A., Kerridge, J., & Syed, A. (2008, September). Modelling a Multi-Core Media Processor Using JCSP. Presented at 31st Communicating Process Architectures Conference, CPA 2008, University of York, UK

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 explores the usability of the Communicating Sequential Processes model to create a... Read More about Modelling a Multi-Core Media Processor Using JCSP.

A critique of JCSP networking (2008)
Presentation / Conference Contribution
Chalmers, K., Kerridge, J., & Romdhani, I. (2008, September). A critique of JCSP networking. Presented at 31st Communicating Process Architectures 2008, York, UK

We present a critical investigation of the current implementation of JCSP Networking, examining in detail the structure and behavior of the current architecture. Information is presented detailing the current architecture and how it operates, and wea... Read More about A critique of JCSP networking.

Collecting Pedestrian Trajectory Data In Real-time (2007)
Presentation / Conference Contribution
Kerridge, J., Keller, S., Chamberlain, T., & Sumpter, N. (2005, September). Collecting Pedestrian Trajectory Data In Real-time. Presented at Pedestrian and Evacuation Dynamics 2005, Vienna

The ability to collect pedestrian flow data, without the need for subsequent post-processing and analysis to extract measurements such as density and flow rate is a goal, which up to now, has proved infeasible on a large scale for a number of reasons... Read More about Collecting Pedestrian Trajectory Data In Real-time.

A product line based aspect-oriented generative unit testing approach to building quality components (2007)
Presentation / Conference Contribution
Feng, Y., Liu, X., & Kerridge, J. (2007, July). A product line based aspect-oriented generative unit testing approach to building quality components. Presented at 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), Beijing, China

The quality of component-based systems highly
depends on how effectively testing is carried out. To
achieve the maximal testing effectiveness, this paper
presents a product line based aspect oriented approach to
unit testing. The aspect product l... Read More about A product line based aspect-oriented generative unit testing approach to building quality components.

Ubiquitous access to site specific services by mobile devices: the process view. (2006)
Presentation / Conference Contribution
Kerridge, J., & Chalmers, K. (2006, September). Ubiquitous access to site specific services by mobile devices: the process view. Presented at Communicating Process Architectures 2006- Wotug 29

The increasing availability of tri-band mobile devices with mobile phone, wi-fi and Bluetooth capability means that the opportunities for increased access by mobile devices to services provided within a smaller locality becomes feasible. This increas... Read More about Ubiquitous access to site specific services by mobile devices: the process view..

CSP for .NET based on JCSP (2006)
Presentation / Conference Contribution
Chalmers, K., & Clayton, S. (2006, September). CSP for .NET based on JCSP. Presented at Communicating Process Architectures WoTug 29, Edinburgh, Scotland

We present a CSP framework developed for the .NET platform, building
upon the ideas developed for the JCSP library. Discussing the development of the
core functionality and then onto extra features in .NET that can be taken advantage
of, we have c... Read More about CSP for .NET based on JCSP.

Communicating process architectures 2006: WoTUG-29 (2006)
Presentation / Conference Contribution
(2006, September). Communicating process architectures 2006: WoTUG-29. Presented at Proceedings of the 29th WoTUG Technical Meeting, Edinburgh, Scotland

Preface of the conference proceedings.