Skip to main content

Research Repository

Advanced Search

Outputs (407)

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

A unified approach for the dynamic evolution of context-aware services. (2012)
Presentation / Conference Contribution
Jaroucheh, Z., Liu, X., & Smith, S. (2012, January). A unified approach for the dynamic evolution of context-aware services. Presented at International Conference on Innovations in Computers, Information and Communication - ICICIC 2012

Software reuse in the emerging cloud computing era. (2012)
Book
Yang, H., & Liu, X. (2012). Software reuse in the emerging cloud computing era. IGI Global Publishing. https://doi.org/10.4018/978-1-4666-0897-9

With the rapid development of computing hardware, high-speed network, web programming, distributed and parallel computing, and other technologies, cloud computing has recently emerged as a commercial reality. Software Reuse in the Emerging Cloud Comp... Read More about Software reuse in the emerging cloud computing era..

Oil well placement optimization using niche particle swarm optimization. (2012)
Presentation / Conference Contribution
Cheng, G., An, Y., Wang, Z., & Zhu, K. (2012, November). Oil well placement optimization using niche particle swarm optimization

A challenging problem in oil field development project is the optimization of multi-wells placement because of the increasing in optimization variable quantities and searching space size. To overcome the limitation of traditional optimization with st... Read More about Oil well placement optimization using niche particle swarm optimization..

VIPER: a visualisation tool for exploring inheritance inconsistencies in genotyped pedigrees (2012)
Journal Article
Paterson, T., Graham, M., Kennedy, J., & Law, A. (2012). VIPER: a visualisation tool for exploring inheritance inconsistencies in genotyped pedigrees. BMC Bioinformatics, 13(Suppl 8), S5. https://doi.org/10.1186/1471-2105-13-S8-S5

Pedigree genotype datasets are used for analysing genetic inheritance and to map genetic markers and traits. Such datasets consist of hundreds of related animals genotyped for thousands of genetic markers and invariably contain multiple errors in bot... Read More about VIPER: a visualisation tool for exploring inheritance inconsistencies in genotyped pedigrees.

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

Evolution pattern for service evolution in clouds. (2012)
Presentation / Conference Contribution
Wang, Z., Liu, X., & Chalmers, K. (2012, December). Evolution pattern for service evolution in clouds

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 pat... Read More about Evolution pattern for service evolution in clouds..

Technical evaluation of an e-health platform. (2012)
Presentation / Conference Contribution
Lo, O., Fan, L., Buchanan, W. J., & Thuemmler, C. (2012, July). Technical evaluation of an e-health platform. Presented at IADIS International Conference e-Health 2012

Methodologies for evaluation of e-Health platforms are still lacking. We propose an e-Health evaluation framework that aims to provide a concise methodology for the evaluation of e-Health platforms under three main categories: usability evaluation, l... Read More about Technical evaluation of an e-health platform..

A model checking based approach to automatic test suite generation for testing web services and BPEL. (2012)
Presentation / Conference Contribution
Zhao, H., Sun, J., & Liu, X. (2012, December). A model checking based approach to automatic test suite generation for testing web services and BPEL

With the rapid increase of Web Service applications, the reliability of web service and service composition has drawn particular attention from researchers and industries. Many methods for testing and verifying the reliability have been discussed, ho... Read More about A model checking based approach to automatic test suite generation for testing web services and BPEL..