Research explorer tool

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

The Design and Evaluation of a Modern C++ Library

Conference Proceeding
Chalmers, K. (2016)
The Design and Evaluation of a Modern C++ Library. In Communicating Process Architectures 2016
Although many CSP inspired libraries exist, none yet have targeted modern C++ (C++11 onwards). The work presented has a main objective of providing a new C++ CSP library which...

A Task Orientated Requirements Ontology for Cloud Computing Services

Conference Proceeding
Greenwell, R., Liu, X., Chalmers, K., & Pahl, C. (2016)
A Task Orientated Requirements Ontology for Cloud Computing Services. In Proceedings of the 6th International Conference on Cloud Computing and Services Science (CLOSER 2016), (121-128). https://doi.org/10.5220/0005752301210128
Requirements ontology offers a mechanism to map requirements for cloud computing services to cloud computing resources. Multiple stakeholders can capture and map knowledge in ...

Pricing Ontology for Task-Oriented Cloud Sourcing

Conference Proceeding
Greenwell, R., Liu, X., & Chalmers, K. (2016)
Pricing Ontology for Task-Oriented Cloud Sourcing. In 2016 IEEE 4th International Conference on Future Internet of Things and Cloud (FiCloud)https://doi.org/10.1109/ficloud.2016.17
Cloud computing allows access to computing resources from a number of providers, who offer multiple pricing strategies for selected product characteristics. The service offeri...

Semantic description of cloud service agreements

Conference Proceeding
Greenwell, R., Liu, X., & Chalmers, K. (2015)
Semantic description of cloud service agreements. In Science and Information Conference (SAI), 2015, (823-831). https://doi.org/10.1109/sai.2015.7237239
To provide cloud services as a utility there must be a mechanism for comprehensively and precisely specifying cloud service agreements to reduce differences in service percept...

An Upper Ontology for Benefits Management of Cloud Computing

Journal Article
Greenwell, R., Liu, X., & Chalmers, K. (2014)
An Upper Ontology for Benefits Management of Cloud Computing. International Journal of Advanced Computer Science and Applications, 5(12), https://doi.org/10.14569/IJACSA.2014.051211
Benefits Management provides an established approach for decision making and value extraction for IT/IS investments and, can be used to examine cloud computing investments. Th...

Benefits management of cloud computing investments

Journal Article
Greenwell, R., Liu, X., & Chalmers, K. (2014)
Benefits management of cloud computing investments. International Journal of Advanced Computer Science and Applications, 5(7), 1-9. https://doi.org/10.14569/IJACSA.2014.050701%23sthash.KtMts9Zz.dpuf
This paper examines investments in cloud computing using the Benefits Management approach. The major contribution of the paper is to provide a unique insight into how organiza...

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

Pricing Intelligence as a Service for Cloud Computing

Conference Proceeding
Greenwell, R., Liu, X., & Chalmers, K. (2013)
Pricing Intelligence as a Service for Cloud Computing. In Proceedings of 5th IEEE International Conference on Cloud Computing Technology and Science (CloudCom'13), 244-247. doi:10.1109/cloudcom.2013.139
Pricing Intelligence as a service (PINaaS) can be seen as the brokerage of user requirements to pricing of available resources in a cloud computing environment. Users of both ...

A comparison of Message Passing Interface and Communicating Process Architecture networking communication performance.

Conference Proceeding
Chalmers, K. (2012)
A comparison of Message Passing Interface and Communicating Process Architecture networking communication performance. In P. Welch, F. R. M. Barnes, K. Chalmers, J. B. Pedersen, & A. T. Sampson (Eds.), Communicating Process Architectures 2012, (107-120
Message Passing Interface (MPI) is a popular approach to enable Single Process, Multiple Data (SPMD) style parallel computing, particularly in cluster computing environments. ...