1928 search results - page 165 / 386 » Integrity Constraints in OWL |
105
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them l...
164
click to vote
POLICY
2005
Springer
15 years 11 months ago
2005
Springer
We introduce the provisional trust negotiation framework PROTUNE, for combining distributed trust management policies with provisional-style business rules and accesscontrol relat...
153
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
269
click to vote
ICDE
1996
IEEE
16 years 7 months ago
1996
IEEE
This paper describes a method to cope with denormalized relational schemas in a database reverse engineering process. We propose two main steps to irnprove the understanding of da...
160
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
In this paper, we present a functional partitioning method for low power real-time distributed embedded systems whose constituent nodes are systems-on-a-chip (SOCs). The systemlev...