4609 search results - page 675 / 922 » Automatic Generation of Sigma-Protocols |
200
click to vote
UML
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
162
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
198
click to vote
ICWL
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes a system for the animation of algorithms on an electronic chalkboard. The instructor teaching an algorithm can enter data directly through a drawing- the algor...
195
click to vote
GRAPHITE
2003
ACM
15 years 12 months ago
2003
ACM
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...
183
click to vote
MM
2003
ACM
15 years 12 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...