4609 search results - page 397 / 922 » Automatic Generation of Sigma-Protocols |
175
Voted
AIPS
2006
15 years 8 months ago
2006
While a lot of work has been done on the problem of the automated generation of plans that compose web services, the problem of monitoring their execution has still to be investig...
126
Voted
ANLP
1994
15 years 8 months ago
1994
The AlethGen tool has been used to build a system for automatically generating replies to complaints, for a European mail-order company. In the current version, letters are genera...
152
click to vote
ENTCS
2007
15 years 6 months ago
2007
bstractions for a Jazz Improvisation Assistant Robert Keller1 Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin Computer Science Harvey Mudd College Claremont, California, US...
182
click to vote
COMSIS
2004
15 years 6 months ago
2004
This paper presents a method and concepts of a supporting tool for rapid prototyping of large-scale business information systems. Our method is based on the following guidelines: (...
155
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...