4609 search results - page 822 / 922 » Automatic Generation of Sigma-Protocols |
152
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
145
click to vote
CN
2000
15 years 5 months ago
2000
This paper discusses methods to generate and display automatically additional hyperlink information to the users of the World Wide Web. Current Web browsers make it hard to predic...
180
click to vote
CLUSTER
2002
IEEE
15 years 5 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...
209
click to vote
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
SCA (Service Component Architecture) is an OASIS standard for describing service-oriented middleware architectures. In particular, SCA promotes a disciplined way for designing dis...
237
click to vote
MOBILIGHT
2010
15 years 3 months ago
2010
Abstract. This paper describes a framework for the design space exploration of resource-efficient software-defined radio architectures. This design space exploration is based on a ...