4609 search results - page 82 / 922 » Automatic Generation of Sigma-Protocols |
143
click to vote
WSCG
2003
15 years 6 months ago
2003
Modelling Large Urban Environments using traditional modelling techniques would prove too time consuming a process. Consequently a method is required for generating large urban en...
149
Voted
MM
2004
ACM
15 years 10 months ago
2004
ACM
We describe our experimental rhetoric engine Vox Populi that generates biased video-sequences from a repository of video interviews and other related audio-visual web sources. Use...
108
Voted
ICWE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The demonstration shows the system Welkin, a multilingual system that analyses one or several source texts with a cascade of linguistic-processing modules, including synt...
131
Voted
VL
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper outlines a method to specify a wide range of diagrams by hypergraphs and diagram dynamics by hypergraph rewrite rules. The specification of a diagram language together ...
147
click to vote
SE
2008
15 years 6 months ago
2008
: In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria....