We analyze a restriction of the theory of consistent histories by imposing that a valid description of a physical system must include quantum histories which satisfy the consistency conditions for all states. We prove that ...

Automated consistency checking of UML models becomes necessary as models grow in size and complexity. Since the UML metamodel does not enforce model consistency, there are no fixed guidelines on how to approach the ...

The framework of database repairs is a principled approach to managing inconsistency in databases. In particular, the consistent answers of a query on an inconsistent database provide sound semantics and the guarantee that ...

A thermodynamic method to check the consistency of phase equilibrium data developed by the authors and applied to several situations by different researchers is analyzed to determine the effect of the equation of state ...

XML specifications often consist of a type definition (typically, a document type definition (DTD)) and a set of integrity constraints. It has been shown previously that such specifications can be inconsistent, and thus ...

In this paper, the necessary and sufficient conditions for fulfilling the thermodynamic consistency of computational homogenization schemes in the framework of hierarchical multiscale theories are defined. The proposal is ...