1024 search results - page 65 / 205 » Value complete, column complete, predicate complete |
119
click to vote
CSCLP
2004
Springer
15 years 7 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...
187
click to vote
ICDE
1997
IEEE
16 years 3 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...
120
click to vote
ICIP
2006
IEEE
15 years 7 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...
NOMS
2006
IEEE
15 years 7 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...
103
click to vote
LICS
2000
IEEE
15 years 6 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...