1722 search results - page 229 / 345 » Ontology Formalism Transformation |
79
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...
101
click to vote
EMSOFT
2010
Springer
14 years 9 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
163
click to vote
SIGMOD
2005
ACM
15 years 11 months ago
2005
ACM
We demonstrate a prototype of the relational data mapping module of MIQIS, a formal framework for investigating information flow in peer-to-peer database management systems. Data ...
139
click to vote
ICIP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a study aimed to the realization of a novel
multiresolution registration framework. The transformation
function is computed iteratively as a composition of lo...
CPAIOR
2009
Springer
15 years 5 months ago
2009
Springer
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...