The increase in usage of eye-tracking technology to study text translation processes has revealed the need for effective tools for visualization of the data collected. We propose ...
A collaboration between simulationists and scientists working on fire spread and ecology led to the design of a 3D visualization tool. This tool is a post-processor which can be l...
Alexandre Muzy, David R. C. Hill, Mathieu Joubert,...
The Internet pervades many aspects of our lives and is becoming indispensable to critical functions in areas such as commerce, government, production and general information disse...
Design rationale remains poorly explained and rarely modelled on projects in industry. However, the reasons for design decisions are important when a specification has to be re-ex...
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...