5525 search results - page 354 / 1105 » Verification of Model Transformations |
142
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
This article presents the ways of identification, selection and transformation of the data into other structures. Relation selection and transformation may change data quantity and...
169
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We revisit the problem of model-based object recognition for intensity images and attempt to address some of the shortcomings of existing Bayesian methods, such as unsuitable prior...
182
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
177
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
141
click to vote
WSC
2004
15 years 8 months ago
2004
Staffing decisions in a consumer credit origination environment have a significant impact on the financial institution's costs as well as customer service levels. Staff resou...