4609 search results - page 278 / 922 » Automatic Generation of Sigma-Protocols |
189
click to vote
ADMA
2008
Springer
16 years 29 days ago
2008
Springer
Abstract. Social bookmarking has become an important web2.0 application recently, which is concerned with the dual user behavior to search - tagging. Although social bookmarking we...
171
click to vote
ICLP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
167
click to vote
IWCMC
2006
ACM
16 years 17 days ago
2006
ACM
In the Next Generation Networks (NGNs) users will carry multiple devices forming cooperative networks known as Personal Area Networks (PANs). Some existing technologies enable thi...
167
click to vote
IPPS
2005
IEEE
16 years 6 days ago
2005
IEEE
The performance skeleton of an application is a short running program whose execution time in any scenario reflects the estimated execution time of the application it represents....
166
Voted
SAC
2005
ACM
16 years 5 days ago
2005
ACM
During the last years, significant attention has been paid to the problem of building wrappers for extracting data from semistructured web sources. Nevertheless, since web sources...