1928 search results - page 164 / 386 » Integrity Constraints in OWL |
CCE
2004
13 years 10 months ago
2004
Design process excellence is considered a major differentiating factor between competing enterprises since it determines the constraints within which plant operation and supply ch...
ENTCS
2002
13 years 10 months ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...
PVLDB
2008
13 years 10 months ago
2008
Many applications rely heavily on large amounts of data in the distributed storages collected over time or produced by large scale scientific experiments or simulations. The key co...
IDEAS
2007
IEEE
14 years 5 months ago
2007
IEEE
A foreign superkey in relational database theory is a set of attributes referring to a superkey of some relation variable. In this paper, the notion of constant references is intr...
VTS
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...