Sciweavers

8 search results - page 1 / 2
» hase 1999
Sort
View
HASE
1999
IEEE
13 years 9 months ago
Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems
Diego Del Gobbo, Bojan Cukic, Marcello R. Napolita...
ICIP
1999
IEEE
14 years 7 months ago
Rate-Distortion-Efficient Video Compression Using a 3-D Head Model
In this paper we combine model-based video synthesis with block-based motion-compensated prediction (MCP). Two frames are utilized far prediction where one frame is the previous d...
Peter Eisert, Thomas Wiegand, Bernd Girod
HASE
1999
IEEE
13 years 9 months ago
Lessons from 342 Medical Device Failures
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
Dolores R. Wallace, D. Richard Kuhn
HASE
1999
IEEE
13 years 9 months ago
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
Mario Dal Cin, Gábor Huszerl, Konstantinos ...
HASE
1999
IEEE
13 years 9 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink