4609 search results - page 316 / 922 » Automatic Generation of Sigma-Protocols |
177
click to vote
ICS
2007
Tsinghua U.
16 years 25 days ago
2007
Tsinghua U.
Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when relevant program behavi...
171
click to vote
SAC
2005
ACM
16 years 7 days ago
2005
ACM
Search engines crawl and index webpages depending upon their informative content. However, webpages — especially dynamically generated ones — contain items that cannot be clas...
184
click to vote
CIKM
2005
Springer
16 years 6 days ago
2005
Springer
Databases of text and text-annotated data constitute a significant fraction of the information available in electronic form. Searching and browsing are the typical ways that users...
180
click to vote
AAAI
2007
15 years 9 months ago
2007
This paper describes an e-Government AI project that provides a range of intelligent AI services to support automated assessment of various types of applications submitted to an i...
222
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...