14056 search results - page 4 / 2812 » Consistency in Model Integration |
FASE
2010
Springer
14 years 5 days ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
CASCON
2004
13 years 8 months ago
2004
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
ENTCS
2006
13 years 7 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
AAAI
2000
13 years 8 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
ISVC
2010
Springer
13 years 8 months ago
2010
Springer
In nonrigid motion analysis, deformation fields are often modeled using splines defined on a control-point grid. Inspired by recent development of meshfree methods, we propose a no...