563 search results - page 72 / 113 » Verifiable Signature Sharing |
133
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
User association logs collected from a large-scale wireless LAN record where and when a user has used the network. Such information plays an important role in wireless network res...
124
Voted
DAC
1999
ACM
16 years 4 months ago
1999
ACM
A number of researchers have proposed using digital marks to provide ownership identification for intellectual property. Many of these techniques share three specific weaknesses: ...
117
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Video is one of the most popular data shared in the Web, and the protection of video copyright is of vast interest. In this paper, we present a comprehensive approach for protecti...
140
Voted
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
234
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...