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

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.

Visual cleaning of genotype data. (2013)
Presentation / Conference Contribution
Kennedy, J., Graham, M., Paterson, T., & Law, A. (2013, October). Visual cleaning of genotype data. Presented at BioVis 2013

While some data cleaning tasks can be performed automatically, many more require expert human guidance to steer the cleaning process, especially if erroneous or unclean data is a product of relationships between entities. An example is pedigree genot... Read More about Visual cleaning of genotype data..

Pianola - visualization of multivariate time-series security event data. (2013)
Presentation / Conference Contribution
Thomson, A., Graham, M., & Kennedy, J. (2013, July). Pianola - visualization of multivariate time-series security event data. Presented at 17th International Conference on Information Visualisation

Monitoring log files for network intrusions is unwieldy. To build a mental model of the log, an analyst is required to recognise continuous timelines and attack patterns from a dataset that is essentially limited to an ordered list of events. Informa... Read More about Pianola - visualization of multivariate time-series security event data..

Evolution feature oriented model driven product line engineering approach for synergistic and dynamic service evolution in clouds: A04BPEL3.0 proposal. (2013)
Presentation / Conference Contribution
Wang, Z., Chalmers, K., & Liu, X. (2013, June). Evolution feature oriented model driven product line engineering approach for synergistic and dynamic service evolution in clouds: A04BPEL3.0 proposal. Presented at International Conference on Information Society (i-Society 2013). University of Toronto, Canada

Model Driven based approach for Service Evolution in Clouds will mainly focus on the reusable evolution patterns' advantage to solve evolution problems. During the process, evolution pattern will be driven by MDA models to pattern aspects. Weaving th... Read More about Evolution feature oriented model driven product line engineering approach for synergistic and dynamic service evolution in clouds: A04BPEL3.0 proposal..

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.

MaTSE: the gene expression time-series explorer (2013)
Journal Article
Craig, P., Cannon, A., Kukla, R., & Kennedy, J. (2013). MaTSE: the gene expression time-series explorer. BMC Bioinformatics, 14(Suppl 19), https://doi.org/10.1186/1471-2105-14-s19-s1

Background
High throughput gene expression time-course experiments provide a perspective on biological functioning recognized as having huge value for the diagnosis, treatment, and prevention of diseases. There are however significant challenges to... Read More about MaTSE: the gene expression time-series explorer.

The co-evolution of social institutions, demography, and large-scale human cooperation (2013)
Journal Article
Powers, S. T., & Lehmann, L. (2013). The co-evolution of social institutions, demography, and large-scale human cooperation. Ecology Letters, 16(11), 1356-1364. https://doi.org/10.1111/ele.12178

Human cooperation is typically coordinated by institutions, which determine the outcome structure of the social interactions individuals engage in. Explaining the Neolithic transition from small‐ to large‐scale societies involves understanding how th... Read More about The co-evolution of social institutions, demography, and large-scale human cooperation.

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.