We describe several approaches for using prosodic features of speech and audio localization to control interactive applications. This information can be applied to parameter contr...
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
Holger Hermanns, David N. Jansen, Yaroslav S. Usen...
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
A transferable quality model must be general. This implies that only the high level characteristics can be transferred into different settings and that the refinement of the charac...
Alessandro Bianchi, Danilo Caivano, Giuseppe Visag...