2593 search results - page 195 / 519 » constraints 2007 |
152
click to vote
ER
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
160
click to vote
GFKL
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. A central task when integrating data from different sources is to detect identical items. For example, price comparison websites have to identify offers for identical p...
162
click to vote
OTM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract: This paper proposes extensions to the Object-Role Modeling approach to support schema transformations that eliminate unneeded columns that may arise from standard relatio...
169
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
162
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Leakage energy consumption is an increasingly important issue as the technology continues to shrink. Since on-chip caches constitute a major portion of the processor's transi...