4609 search results - page 440 / 922 » Automatic Generation of Sigma-Protocols |
163
click to vote
VMV
2003
15 years 8 months ago
2003
This paper presents a novel image-based approach to generate a video of a scene based on only three wide-baseline uncalibrated images without the use of a 3D model. After automati...
216
click to vote
PTS
2000
15 years 8 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
252
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we present a system that automatically generates a 3D virtual world from a virtual institution (VI) specification, namely of activities that will take place in the v...
162
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Hybrid systems such as those that combine 3D virtual worlds and organization based multiagent systems add new visual and communication features for multi-user applications. The des...
197
click to vote
ENTCS
2008
15 years 7 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...