4609 search results - page 320 / 922 » Automatic Generation of Sigma-Protocols |
177
click to vote
ASSETS
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents a method to convert vector graphics into tactile representations for the blind. Generating tactile pictures from vector graphics is an important effort to bri...
195
click to vote
ASE
2004
15 years 6 months ago
2004
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
194
click to vote
COMPUTER
2000
15 years 6 months ago
2000
tion--the art of abstracting key content from one or more information sources--has become an integral part of everyday life. People keep abreast of world affairs by listening to ne...
162
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
182
click to vote
CCR
2006
15 years 6 months ago
2006
In order to perform realistic network simulations, one needs a traffic generator that is capable of generating realistic synthetic traffic in a closed-loop fashion that "look...