4255 search results - page 199 / 851 » Cover |
141
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
154
Voted
WEBENG
2001
Springer
15 years 9 months ago
2001
Springer
Despite the rapid evolution of Web technologies and development tools and skills, most Web sites fail (to varying degrees) to achieve their true business goals. This is at least pa...
116
click to vote
SIGECOM
2000
ACM
15 years 9 months ago
2000
ACM
Using data collected between August 1999 and January 2000, we examine firm-level pricing strategies for 32 online bookstores. The data cover more than 300 books, including New Yor...
131
click to vote
POPL
1999
ACM
15 years 9 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
130
click to vote
FPGA
1997
ACM
15 years 8 months ago
1997
ACM
In this paper, we give a necessary and sufficient condition for the existence of partially-dependent functional decomposition and develop new algorithms to compute such decomposi...