123 search results - page 15 / 25 » Domain Consistency with Forbidden Values |
VLDB
2007
ACM
14 years 10 months ago
2007
ACM
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
AWIC
2003
Springer
14 years 3 months ago
2003
Springer
This paper describes a practical solution for the incorporation of security services in agents. From a set of basic user requirements, the agents will be able to find out the best ...
CAV
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
BMCBI
2010
13 years 7 months ago
2010
Background: The Gene Ontology (GO) is a well known controlled vocabulary describing the biological process, molecular function and cellular component aspects of gene annotation. I...
VIS
2009
IEEE
14 years 11 months ago
2009
IEEE
Due to its nonlinear nature, the climate system shows quite high natural variability on different time scales, including multiyear oscillations such as the El Ni~no Southern Oscill...