1024 search results - page 65 / 205 » Value complete, column complete, predicate complete |
139
click to vote
CSCLP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Overload checking, forbidden regions, edge finding, and notfirst/not-last detection are well-known propagation rules to prune the start times of activities which have t...
216
click to vote
ICDE
1997
IEEE
16 years 5 months ago
1997
IEEE
We demonstrate the use of a hyper-programming system in building persistent applications. This allows program representations to contain type-safe links to persistent objects embe...
140
click to vote
ICIP
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose a new public key watermarking scheme for reversible image authentication where if the image is authentic, the distortion due to embedding can be complete...
109
click to vote
NOMS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This work proposes a business-oriented approach to designing IT infrastructure in an e-commerce context subject to load surges. The main difference between the proposed approac...
127
click to vote
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...