4609 search results - page 334 / 922 » Automatic Generation of Sigma-Protocols |
133
click to vote
ISIM
2007
15 years 8 months ago
2007
Executable prototypcs generatcd on early stages of software development bring many benefits, first of all they help to develop and validate systcm's spccification. The paper p...
189
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
161
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a new approach for automatic concept extraction, using grammatical parsers and Latent Semantic Analysis. The methodology and tool used to build the benchmarkin...
195
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
187
click to vote
OTM
2004
Springer
16 years 1 days ago
2004
Springer
The paper deals with the role of ontologies in e-learning. We report our research on the application of ontologies in intelligent platforms for self-learning and computer-mediated ...