Skip to main content

Research Repository

Advanced Search

Outputs (11)

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

TARGO: transition and reallocation based green optimization for Cloud VMs. (2013)
Presentation / Conference Contribution
Fang, D., Liu, X., Liu, L., & Yang, H. (2013, August). TARGO: transition and reallocation based green optimization for Cloud VMs

Much research has been conducted focusing on improving resource utilization efficiency in data centers in the context of Green Cloud Computing (GCC). While virtualization enables better resource provision and utilization for various computational res... Read More about TARGO: transition and reallocation based green optimization for Cloud VMs..

Pricing Intelligence as a Service for Cloud Computing (2013)
Presentation / Conference Contribution
Greenwell, R., Liu, X., & Chalmers, K. (2013, December). Pricing Intelligence as a Service for Cloud Computing. Presented at 2013 IEEE 5th International Conference on Cloud Computing Technology and Science

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 public and private clouds have to consider the price of services they consu... Read More about Pricing Intelligence as a Service for Cloud Computing.

Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds (2013)
Journal Article
Wei, H., Wang, Z., Liu, X., Chalmers, K., & Cheng, G. (2013). Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds. Journal of Industrial and Intelligent Information, 1(1), 6-9. https://doi.org/10.12720/jiii.1.1.6-9

The proposed research will focus on developing a novel approach to solve Software Service Evolution problems in Computing Clouds. The approach will support dynamic evolution of the software service in clouds via a set of discovered evolution patterns... Read More about Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds.

A model of sustainable ecosystem for software development, software business and music education (2013)
Thesis
Cheng, L. A model of sustainable ecosystem for software development, software business and music education. (Thesis). The Education University of Hong Kong. http://researchrepository.napier.ac.uk/Output/2792659

This interdisciplinary study addresses the issue of creating a sustainable ecosystem consisting of the ecologies of software development, software business and music education. These are three key areas contributing to the end users’ applications of... Read More about A model of sustainable ecosystem for software development, software business and music education.

Cloud migration for SMEs in a Service Oriented Approach. (2013)
Presentation / Conference Contribution
Nussbaumer, N., & Liu, X. (2013, July). Cloud migration for SMEs in a Service Oriented Approach

Cloud computing has gained immense momentum during recent years and has ultimately become a viable solutions not only for larger firms, but also for small and medium-sized enterprises (SMEs). For smaller companies to stay competitive, many have there... Read More about Cloud migration for SMEs in a Service Oriented Approach..

Using ICT to Supporting Course Developers, Tutors, and Students of Scottish Gaelic. (2013)
Presentation / Conference Contribution
Lawson, A., Mikuta, P., & Cruickshank, P. (2013, September). Using ICT to Supporting Course Developers, Tutors, and Students of Scottish Gaelic. Poster presented at EUROCALL

This research and development is aimed at learners, tutors and course developers of Scottish Gaelic. The method of teaching Gaelic being used initially with the system is Ùlpan. This method has been used for over 50 years to great effect in Israel, w... Read More about Using ICT to Supporting Course Developers, Tutors, and Students of Scottish Gaelic..

Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds: Pattern Data Structure (2013)
Presentation / Conference Contribution
Wang, Z., & Chalmers, K. (2013, July). Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds: Pattern Data Structure. Presented at 2013 Seventh International Conference on Complex, Intelligent, and Software Intensive Systems

Evolution pattern will be defined as an Xml
Schema document, the generation of pattern aspect is
the process of generating xml instance from its related
Xml Schema definition document. The process can be
iterative until all the evolution requirem... Read More about Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds: Pattern Data Structure.

Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds:Four Kinds of Schema (2013)
Journal Article
Wang, Z., & Chalmers, K. (2013). Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds:Four Kinds of Schema. Procedia Computer Science, 19, 889-894. https://doi.org/10.1016/j.procs.2013.06.120

The proposed research will focus on developing a novel approach to solve Software Service Evolution problems in Computing Clouds. The approach will support dynamic evolution of the software service in clouds via a set of discovered evolution patterns... Read More about Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds:Four Kinds of Schema.

Investigations of impacts of junction design on emissions: are our junctions sustainable? (2013)
Journal Article
Saleh, W., & Lawson, A. (2013). Investigations of impacts of junction design on emissions: are our junctions sustainable?. World journal of science, technology and sustainable development, 10(2), 143-151. https://doi.org/10.1108/20425941311323145

Purpose - An investigation of the driving behaviour and impacts on emission at two traffic junctions

Design/methodology/approach - A signalised junction and a roundabout in Edinburgh have been selected. An instrumented car has been used and a GPS... Read More about Investigations of impacts of junction design on emissions: are our junctions sustainable?.