The use of electronics in vehicles is increasing quickly and the systems are becoming increasingly complex. This makes the engineering of these advanced computer-based systems mor...
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
We present some architectural and technological insights on SAP’s HANA database and derive research challenges for future enterprise application development. The HANA database m...
Joos-Hendrik Boese, Cafer Tosun, Christian Mathis,...
Comparing designs of sonifications is difficult enough but comparing a visual display with a sound display is much harder. Yet the designer of multi-sensory displays would like to...
Current software suites suffer from problems due to poor integration of their individual tools. They require the designer to think of all possible integrating behaviours and leave...
Anind K. Dey, Gregory D. Abowd, Mike Pinkerton, An...