Sciweavers

1360 search results - page 180 / 272
» The SMART Approach for Software Process Engineering
Sort
View
IUI
2005
ACM
15 years 8 months ago
Interaction techniques using prosodic features of speech and audio localization
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...
Alex Olwal, Steven Feiner
WOSP
2005
ACM
15 years 8 months ago
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
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...
107
Voted
AMAST
2004
Springer
15 years 8 months ago
Separate Compositional Analysis of Class-Based Object-Oriented Languages
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...
Francesco Logozzo
AC
2003
Springer
15 years 8 months ago
Synthesis of Asynchronous Hardware from Petri Nets
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, ...
COMPSAC
2002
IEEE
15 years 8 months ago
Quality Models Reuse: Experimentation on Field
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...