Sciweavers

5009 search results - page 224 / 1002
» Value chain modelling using system dynamics
Sort
View
FMCO
2007
Springer
196views Formal Methods» more  FMCO 2007»
15 years 9 months ago
Coordinating Object Oriented Components Using Data-Flow Networks
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
Mohammad Mahdi Jaghoori
WSC
2001
15 years 6 months ago
Modeling risk in the dynamic environment of maritime transportation
The Washington State Ferries are one of the largest ferry systems in the world. Accidents involving Washington State Ferries are rare events. However, low probability, high conseq...
Jason R. W. Merrick, J. René van Dorp, Thom...
FGR
2011
IEEE
267views Biometrics» more  FGR 2011»
14 years 9 months ago
A dynamic approach to the recognition of 3D facial expressions and their temporal models
— In this paper we propose a method that exploits 3D motion-based features between frames of 3D facial geometry sequences for dynamic facial expression recognition. An expressive...
Georgia Sandbach, Stefanos Zafeiriou, Maja Pantic,...
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 11 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
ICSE
2009
IEEE-ACM
15 years 3 months ago
A model for dynamic and adaptable services management
The dynamic nature of Service-Oriented Architectures challenges traditional systems management practices which tend to be static in nature. We propose a goal-oriented, agent-based...
Patrick Martin, Wendy Powley, Imad Abdallah, Jun L...