4609 search results - page 40 / 922 » Automatic Generation of Sigma-Protocols |
128
click to vote
AIMSA
2006
Springer
15 years 8 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
177
click to vote
HT
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
129
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
As the usage of Web Services proliferates dramatically, new tools to help quickly generate web services are needed. In this paper, we propose a methodology that helps to automatic...
146
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...
128
click to vote
TAP
2010
Springer
15 years 9 months ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...