4609 search results - page 843 / 922 » Automatic Generation of Sigma-Protocols |
240
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
One of the simplest ways to query a database is through a form, where a user can fill in relevant information and obtain desired results by submitting the form. Designing good sta...
149
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
Software-based self-test (SBST) is an emerging approach to address the challenges of high-quality, at-speed test for complex programmable processors and systems-on chips (SoCs) th...
150
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Architecture description languages (ADL) have been established to aid the design of application-specific instruction-set processors (ASIP). Their main contribution is the automati...
168
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Current web search engines return result pages containing mostly text summary even though the matched web pages may contain informative pictures. A text excerpt (i.e. snippet) is ...
179
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Easy reuse and integration of declaratively described information in a distributed setting is one of the main motivations for building the Semantic Web. Despite of this claim, reu...