Process name resolution in fault-intolerant csp programs

The problem of name resolution for cascaded names which spans multiple naming systems is discussed and the concept of name border is introduced. Name borders are used in resolving names that span two or more name spaces, possibly in a distributed ...

Constraint satisfaction programming (CSP) has been successfully used in model-driven development (MDD) for solving a wide range of (combinatorial) problems. In CSP, declarative constraints capture restrictions over variables with finite domains where ...

Due to homonyms, abbreviations, etc., name ambiguity is widely available in web and e-document. For example, when integrating heterogeneous literature databases, because there are different name specifications, different authors may be thought of as the ...