How will scholarly publishing evolve? The history of other technological innovations suggests the shift to electronic publications will be rapid, but fundamental changes in the na...
To assure dependable onboard evolution, we have developed a methodology called guarded software upgrading (GSU). In this paper, we focus on a low-cost approach to error containmen...
Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Cha...
This paper investigates the evolution of robot controllers utilising only visual environment input data, capable of performing a hard task, playing football, in the real world. Th...
A key aspect of the COHERE project involves building an authoring system for documentation for safety-critical systems. Following a set of documentation integrity maxims, the proj...