4609 search results - page 27 / 922 » Automatic Generation of Sigma-Protocols |
124
click to vote
SP
2008
IEEE
15 years 11 months 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...
137
Voted
ICWSM
2010
15 years 6 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 2 months ago
2010
ACM
140
Voted
SPLC
2004
15 years 6 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...
122
Voted
ITS
2010
Springer
15 years 9 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...