3381 search results - page 16 / 677 » Extending Dependencies with Conditions |
147
click to vote
FOIKS
2008
Springer
15 years 6 months ago
2008
Springer
When decomposing database schemas, it is desirable that a decomposition is lossless and dependency preserving. A well-known and frequently used result for the relational model stat...
161
click to vote
DAGSTUHL
2001
15 years 5 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
117
click to vote
EPEW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Passage-end calculations are a new style of passage measurement for eXtended Stochastic Probes (XSP) [1] which add the ability to split the analysis into several cases de...
100
click to vote
MA
2010
Springer
14 years 11 months ago
2010
Springer
Tail dependence and conditional tail dependence functions describe, respectively, the tail probabilities and conditional tail probabilities of a copula at various relative scales....
130
click to vote
ISCAPDCS
2003
15 years 5 months ago
2003
In this paper, we present a system partitioning technique in which the input system specification is based on C++ language. The proposed technique processes data and precedence de...