4609 search results - page 576 / 922 » Automatic Generation of Sigma-Protocols |
211
click to vote
ADVIS
2006
Springer
16 years 22 days ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
165
Voted
SAC
2006
ACM
16 years 21 days ago
2006
ACM
Component-oriented programming facilitates the development of reusable application parts encapsulated by welldefined interfaces. There is however a tension between compatibility ...
173
click to vote
SMA
2006
ACM
16 years 21 days ago
2006
ACM
Segmenting meshes into natural regions is useful for model understanding
and many practical applications. In this paper, we present
a novel, automatic algorithm for segmenting me...
163
click to vote
UIST
2006
ACM
16 years 21 days ago
2006
ACM
The continuous growth of media databases necessitates development of novel visualization and interaction techniques to support management of these collections. We present Videotat...
153
Voted
ACSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
The work presented in this paper is intended to test crucial system services against stack overflow vulnerabilities. The focus of the test is the user-accessible variables, that i...