Sciweavers

5203 search results - page 150 / 1041
» An approach to workflow modeling and analysis
Sort
View
CAV
2008
Springer
108views Hardware» more  CAV 2008»
15 years 8 months ago
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
Akash Lal, Thomas W. Reps
CAIP
2009
Springer
221views Image Analysis» more  CAIP 2009»
16 years 27 days ago
Model Based Analysis of Face Images for Facial Feature Extraction
This paper describes a comprehensive approach to extract a common feature set from the image sequences. We use simple features which are easily extracted from a 3D wireframe model ...
Zahid Riaz, Christoph Mayer, Michael Beetz, Bernd ...
EMISA
2009
Springer
16 years 27 days ago
A Survival Analysis of Application Life Spans based on Enterprise Architecture Models
Abstract: Modern enterprises face the challenge to survive in an ever changing environment. One commonly accepted means to address this challenge and further enhance survivability ...
Stephan Aier, Sabine Buckl, Ulrik Franke, Bettina ...
EDCC
1999
Springer
15 years 10 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
ISCAS
2006
IEEE
105views Hardware» more  ISCAS 2006»
16 years 10 days ago
Analysis and modeling of jitter and frequency tolerance in gated oscillator based CDRs
This paper presents an approach to analyzing Edge Dummy and modeling of gated-oscillator (GO) -based CDRs and D.e.te...r G.t.. predicting their performance aspects such as jitter t...
Armin Tajalli, Paul Muller, Seyed Mojtaba Atarodi,...