1307 search results - page 21 / 262 » Follow the intellectual property |
143
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
We study the shrinking and separation properties (two notions well-known in descriptive set theory) for NP and coNP and show that under reasonable complexity-theoretic assumptions...
133
click to vote
WINE
2009
Springer
16 years 20 days ago
2009
Springer
Following up on the work of Megiddo and Vazirani [10], who determined continuity properties of equilibrium prices and allocations for perhaps the simplest market model, Fisher’s ...
163
click to vote
DAC
2000
ACM
15 years 10 months ago
2000
ACM
In many modern designs, timing is either a key optimization goal and/or a mandatory constraint. We propose the first intellectual property protection technique using watermarking ...
170
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
We present a methodology for the watermarking of synchronous sequential circuits that makes it possible to identify the authorship of designs by imposing a digital watermark on th...
204
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...