4609 search results - page 27 / 922 » Automatic Generation of Sigma-Protocols |
138
click to vote
SP
2008
IEEE
16 years 9 days ago
2008
IEEE
The automatic patch-based exploit generation problem is: given a program P and a patched version of the program P′ , automatically generate an exploit for the potentially unknow...
158
click to vote
ICWSM
2010
15 years 7 months ago
2010
In many collaborative systems, researchers are interested in creating representative user profiles. In this paper, we are particularly interested in using social labeling and auto...
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
161
click to vote
SPLC
2004
15 years 7 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
146
click to vote
ITS
2010
Springer
15 years 10 months ago
2010
Springer
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...