Sciweavers

6308 search results - page 224 / 1262
» Modeling Urgency in Timed Systems
Sort
View
JSS
2010
120views more  JSS 2010»
15 years 3 months ago
An evaluation of timed scenario notations
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
Jameleddine Hassine, Juergen Rilling, Rachida Dsso...
EDCC
1999
Springer
15 years 9 months ago
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi
CMSB
2008
Springer
15 years 6 months ago
Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
Dirk Lebiedz, Dominik Skanda, Marc Fein
ICPR
2006
IEEE
16 years 5 months ago
Real Time Tracking for 3D Realistic Lip Animation
This article deals with facial segmentation and liptracking with feedback control for real-time animation of a synthetic 3D face model. Classical approaches consist in two success...
Brice Beaumesnil, Franck Luthon
143
Voted
PG
2007
IEEE
15 years 11 months ago
Fogshop: Real-Time Design and Rendering of Inhomogeneous, Single-Scattering Media
We describe a new, analytic approximation to the airlight integral from scattering media whose density is modeled as a sum of Gaussians. The approximation supports real-time rende...
Kun Zhou, Qiming Hou, Minmin Gong, John Snyder, Ba...