Sciweavers

1151 search results - page 40 / 231
» A Requirements Negotiation Model Based on Multi-Criteria Ana...
Sort
View
ECOWS
2006
Springer
15 years 5 months ago
A Value-Based Foundation for Service Modelling
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
Martin Henkel, Erik Perjons, Jelena Zdravkovic, Ch...
CNSR
2007
IEEE
122views Communications» more  CNSR 2007»
15 years 8 months ago
Risk Analysis in Critical Infrastructure Systems based on the Astrolabe Methodology
Critical infrastructure systems are complex networks of adaptive socio-technical systems that provide the most fundamental requirements of the society. Their importance in the smo...
Ebrahim Bagheri, Ali A. Ghorbani
ICIP
1997
IEEE
16 years 3 months ago
Model-Based Estimation of Facial Expression Parameters from Image Sequences
In this paper we present a model-based algorithm for the estimation of 3D motion and the analysis of facial expressions of a speaking person. A set of facial animation parameters ...
Peter Eisert, Bernd Girod
CHARME
2005
Springer
143views Hardware» more  CHARME 2005»
15 years 7 months ago
Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
Gianfranco Ciardo, Andy Jinqing Yu
JUCS
2000
102views more  JUCS 2000»
15 years 1 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...