4609 search results - page 181 / 922 » Automatic Generation of Sigma-Protocols |
158
click to vote
ISSRE
2008
IEEE
16 years 26 days ago
2008
IEEE
A critical problem facing today’s internet community is the increasing number of attacks exploiting flaws found in Web applications. This paper specifically targets input valida...
296
click to vote
AMDO
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we present a novel constraint-based method that is able to adapt captured gait motions to new paths while preserving the original gait style. Foot-plant constraints ...
166
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
155
click to vote
ACL
2009
15 years 4 months ago
2009
We investigate the influence of information status (IS) on constituent order in German, and integrate our findings into a loglinear surface realisation ranking model. We show that...
180
click to vote
ICDCSW
2009
IEEE
15 years 4 months ago
2009
IEEE
Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and ...