2025 search results - page 1 / 405 » Minimal-Cut Model Composition |
SMI
2005
IEEE
13 years 10 months ago
2005
IEEE
ATVA
2008
Springer
13 years 6 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
COLING
2010
12 years 11 months ago
2010
In distributional semantics studies, there is a growing attention in compositionally determining the distributional meaning of word sequences. Yet, compositional distributional mo...
JOT
2010
12 years 11 months ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...
CORR
2011
Springer
12 years 8 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...