Outputs (3343)

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

IS Degrees: Sociotechnical or Technosocial? - A Reflective Analysis. (2013)
Presentation / Conference Contribution
Coady, J., Berg, T., & Pooley, R. (2012, August). IS Degrees: Sociotechnical or Technosocial? - A Reflective Analysis. Presented at ISD Conference

This paper describes a reflective and empirical investigation by staff involved in delivery of the Heriot-Watt University Information Systems undergraduate degree. It looks particularly at the practical relevance of the IS 2010 model curriculum, aski... Read More about IS Degrees: Sociotechnical or Technosocial? - A Reflective Analysis..

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.

On the role of the AIS practitioner. (2013)
Presentation / Conference Contribution
Hart, E., Read, M., McEwan, C., Aickelin, U., & Greensmith, J. (2013, September). On the role of the AIS practitioner

Cognisant of the gulf between engineers and immunologists that currenty hinders a truly inter-disciplinary approach to the field of Artificial Immune Systems (AIS), we propose a redefinition of the term AIS practitioner, as an individual who iden... Read More about On the role of the AIS practitioner..

From urban space to future place. (2013)
Presentation / Conference Contribution
Helgason, I., Jensen, L., Rosenbak, S., Skrinjar, L., Smyth, M., Streinzer, A., …Wouters, N. (2013). From urban space to future place.

How the UrbanIxD summer school applied critical design & design fiction to future urban technologies. Produced in collaboration with the Book Sprints for ICT Research FP7 project. http://issuu.com/urbanixd/docs/from_urban_space_to_future_place

Visual cleaning of genotype data. (2013)
Presentation / Conference Contribution
Kennedy, J., Graham, M., Paterson, T., & Law, A. (2013). Visual cleaning of genotype data. In Proceedings of BioVis 2013 (105-112). https://doi.org/10.1109/BioVis.2013.6664353

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

Schutz der Anonymität als Gemeinschaftsaufgabe – eine neue Generation von PETs? (2013)
Presentation / Conference Contribution
Kwecka, Z., Buchanan, W. J., Schafer, B., & Rauhofer, J. (2013). Schutz der Anonymität als Gemeinschaftsaufgabe – eine neue Generation von PETs?. In INFORMATIK 2013

Technologies, der seine rechtstheoretische Motivation aus einem Verständnis der Privatsphäre als kollektivem Gut gewinnt. In diesem Modell willigen alle Mitglieder einer Gruppe in eine theoretisches Risiko ein, um gegenseitig ihre Anonymität und dami... Read More about Schutz der Anonymität als Gemeinschaftsaufgabe – eine neue Generation von PETs?.

Workshop on engaging the human-computer interaction community with public policymaking internationally. (2013)
Presentation / Conference Contribution
Lazar, J., Barbosa, S., Gulliksen, J., McEwan, T., Normand, L. M., Palanque, P., Prates, R., Tsai, J., Winckler, M., & Wulf, V. (2013, April). Workshop on engaging the human-computer interaction community with public policymaking internationally. Presented at 2013 CHI Conference on Human Factors in Computing Systems

There is an increasing interest in the intersection of human-computer interaction and public policy. This day-long workshop will examine successes and challenges related to public policy and human computer interaction, in order to provide a forum to... Read More about Workshop on engaging the human-computer interaction community with public policymaking internationally..

Commercial Competency and computing students: using the Skills Framework for the Information Age in higher education. (2013)
Presentation / Conference Contribution
McEwan, T. (2013). Commercial Competency and computing students: using the Skills Framework for the Information Age in higher education. In Frontiers in Education Conference, 2013 IEEE (286-292). https://doi.org/10.1109/FIE.2013.6684833

Commercial acumen has emerged recently as a third aspect of employability which employers expect from computing graduates, in addition to technical capability and "soft skills" (or similar terms like transferable skills). Our experience has been that... Read More about Commercial Competency and computing students: using the Skills Framework for the Information Age in higher education..

Young people’s perceptions of computing careers. (2013)
Presentation / Conference Contribution
McEwan, T., & McConnell, A. (2013). Young people’s perceptions of computing careers. In Frontiers in Education Conference, 2013 IEEE (1597-1603). https://doi.org/10.1109/FIE.2013.6685108

Recruitment into computing-related undergraduate degree courses is challenging in several countries. This is despite employers reporting skills shortages, and the sector generally offering better salaries than for graduates of more popular courses. T... Read More about Young people’s perceptions of computing careers..

Generating single and multiple cooperative heuristics for the one dimensional bin packing problem using a single node genetic programming island model. (2013)
Presentation / Conference Contribution
Sim, K., & Hart, E. (2013, July). Generating single and multiple cooperative heuristics for the one dimensional bin packing problem using a single node genetic programming island model. Presented at 15th annual conference on Genetic and evolutionary computation

Novel deterministic heuristics are generated using Single Node Genetic Programming for application to the One Dimensional Bin Packing Problem. First a single deterministic heuristic was evolved that minimised the total number of bins used when applie... Read More about Generating single and multiple cooperative heuristics for the one dimensional bin packing problem using a single node genetic programming island model..

Learning to solve bin packing problems with an immune inspired hyper-heuristic. (2013)
Presentation / Conference Contribution
Sim, K., Hart, E., & Paechter, B. (2013, September). Learning to solve bin packing problems with an immune inspired hyper-heuristic

Motivated by the natural immune system's ability to defend the body by generating and maintaining a repertoire of antibodies that collectively cover the potential pathogen space, we describe an artificial system that discovers and maintains a reperto... Read More about Learning to solve bin packing problems with an immune inspired hyper-heuristic..

UrbanixD: designing human interactions in the networked city (2013)
Presentation / Conference Contribution
Smyth, M., Helgason, I., Brynskov, M., Mitrovic, I., & Zaffiro, G. (2013, April). UrbanixD: designing human interactions in the networked city. Presented at CHI '13 Extended Abstracts on Human Factors in Computing Systems

Interaction Design, in an urban context, is an increasingly important field of research. City populations are currently in a state of rapid flux. Conurbations are fast becoming a hybrid of the physical environment and the digital datasphere. How we,... Read More about UrbanixD: designing human interactions in the networked city.

Pianola - visualization of multivariate time-series security event data. (2013)
Presentation / Conference Contribution
Thomson, A., Graham, M., & Kennedy, J. (2013). Pianola - visualization of multivariate time-series security event data. In Proceedings of IV2013 (123-131). https://doi.org/10.1109/IV.2013.15

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

The dimensions and complexities of audio-visual association. (2013)
Presentation / Conference Contribution
Tsiros, A. (2013). The dimensions and complexities of audio-visual association. In Electronic Workshops in Computing (eWiC)

This paper draws on literature from psychology, neuroscience, linguistics, and philosophy to portray a cross-modal conception of auditory and visual phenomena focusing on the similarities in form, structure, and function and exploring the links to pe... Read More about The dimensions and complexities of audio-visual association..

A multidimensional sketching interface for corpus-based concatenative synthesis. (2013)
Presentation / Conference Contribution
Tsiros, A. (2013). A multidimensional sketching interface for corpus-based concatenative synthesis. In Proceedings of the International Conference on Auditory Display 2013

This paper presents Morpheme, a multidimensional interface that allows real-time control of concatenative synthesis through the act of sketching on a digital canvas. Morpheme extracts textural, spatial and volumetric features from a sketch developed... Read More about A multidimensional sketching interface for corpus-based concatenative synthesis..

Incorporating emissions models within a multi-objective vehicle routing problem. (2013)
Presentation / Conference Contribution
Urquhart, N. B., Scott, C., & Hart, E. (2013, July). Incorporating emissions models within a multi-objective vehicle routing problem. Presented at 15th annual conference companion on Genetic and evolutionary computation

The vehicle routing problem with time windows (VRPTW) has previously been investigated as a multi-objective problem. In this paper estimated carbon emissions is added as an objective alongside the number of vehicles required and distance travelled. W... Read More about Incorporating emissions models within a multi-objective vehicle routing problem..

Using graphical information systems to improve vehicle routing problem instances. (2013)
Presentation / Conference Contribution
Urquhart, N. B., Scott, C., & Hart, E. (2013, July). Using graphical information systems to improve vehicle routing problem instances. Presented at 15th annual conference companion on Genetic and evolutionary computation

This paper makes the assertion that vehicle routing rearch has produced increasingly more powerful problem solvers, but has not increased the realism or compexity of typical problem instances. This paper argues that the time has come of use realistic... Read More about Using graphical information systems to improve vehicle routing problem instances..

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.