Formal Specification as High-Level Programming: The ASSL Approach

A Formalised, Taxonomy-Driven Approach to Cross-Layer Application Adaptation

Evolving Radial Basis Function Networks via GP for Estimating Fitness Values using Surrogate Models

Experience from the DARPA Urban Challenge

Experimental Assessment of Software Metrics using Automated Refactoring

Exploring the Role of Commercial Stakeholders in Open Source Software Evolution

Facilitating ubiquitous interaction using intelligent agents

Efficient Reasoning with Ambient Trees for Space Exploration

Efficient Space Exploration through Laziness

Embedding Agents within Ambient Intelligent Applications