4609 search results - page 199 / 922 » Automatic Generation of Sigma-Protocols |
157
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
169
click to vote
ACL
2008
15 years 8 months ago
2008
Previous work on statistical language generation has primarily focused on grammaticality and naturalness, scoring generation possibilities according to a language model or user fe...
136
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
165
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
The development of new Field-Programmed, MaskProgrammed and Laser-Programmed Gate Array architectures is hampered by the lack of realistic test circuits that exercise both the arc...
186
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...