7393 search results - page 1203 / 1479 » Synthesis-for-testability using transformations |
126
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Scalability is the key issue in making content-based copy detection (CBCD) methods practical for very large image and video databases. Since copies are transformed versions of ori...
130
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
134
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...
132
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
134
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
E-commerce has transformed the way firms develop their pricing strategies, producing shift away from fixed pricing to dynamic pricing. In this paper, we use two different Estim...