4609 search results - page 443 / 922 » Automatic Generation of Sigma-Protocols |
157
click to vote
EDBT
2004
ACM
16 years 7 months ago
2004
ACM
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...
171
click to vote
ICIAP
2003
ACM
16 years 7 months ago
2003
ACM
This work deals with the view synthesis problem, i.e., how to generate snapshots of a scene taken from a "virtual" viewpoint different from all the viewpoints of the rea...
160
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we present a domain-specific Interface Definition Language (IDL) and its compiler, dedicated to the development of pervasive computing applications. Our IDL provide...
173
click to vote
ECIR
2009
Springer
16 years 4 months ago
2009
Springer
Algorithms that enable the process of automatically mining distinct topics in document collections have become increasingly important due to their applications in many fields and ...
182
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradig...