182 search results - page 32 / 37 » Removing Propagation Redundant Constraints in Redundant Mode... |
108
click to vote
ICDE
1992
IEEE
15 years 1 months ago
1992
IEEE
Contrary to popular belief, relation schemes in good classical normal forms are not necessarily devoid of redundancies. This arises from the fact that classical data dependencies ...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
113
click to vote
CANS
2006
Springer
15 years 1 months ago
2006
Springer
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
GIAE
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we propose the wireframe representation of nD object, which is a single 2D line drawing. A wireframe model of an nD object is composed of a set of edges connecting a...