608 search results - page 41 / 122 » Modeling Building-Block Interdependency |
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
MKWI
2008
13 years 9 months ago
2008
: This paper presents an approach for the automated extraction of process patterns from Event-driven Process Chain (EPC) models in engineering domains. The manually extraction of p...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
The study of common, complex multifactorial diseases in genetic epidemiology is complicated by nonlinearity in the genotype-to-phenotype mapping relationship that is due, in part,...
SIAMSC
2008
13 years 7 months ago
2008
We derive a Godunov-type relaxation scheme for turbulent flows with heat transfer. The building block of this approach is a kinetic Boltzmann-type formulation for a model of turbul...
DKE
2011
13 years 2 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...