4609 search results - page 179 / 922 » Automatic Generation of Sigma-Protocols |
159
click to vote
ATAL
2007
Springer
16 years 19 days ago
2007
Springer
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design proces...
171
click to vote
KBSE
2006
IEEE
16 years 14 days ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
193
click to vote
TAICPART
2006
IEEE
16 years 14 days ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
166
click to vote
CVPR
2010
IEEE
16 years 2 days ago
2010
IEEE
In this paper, we show how to generate a sharp panorama from a set of motion-blurred video frames. Our technique is based on joint global motion estimation and multi-frame deblurr...
154
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
In a tutoring system based on an exploratory environment, it is also important to provide direct guidance to students. We endowed iList, our linked list tutor, with the ability to ...