Sciweavers

5830 search results - page 226 / 1166
» Automatic link generation
Sort
View
ATAL
2007
Springer
16 years 14 days ago
A design framework for generating BDI-agents from goal models
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...
Loris Penserini, Anna Perini, Angelo Susi, Mirko M...
KBSE
2006
IEEE
16 years 8 days ago
Model-driven Monitoring: Generating Assertions from Visual Contracts
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,...
Marc Lohmann, Gregor Engels, Stefan Sauer
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
16 years 8 days ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
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...
José García-Fanjul, Claudio de la Ri...
CVPR
2010
IEEE
15 years 12 months ago
Generating Sharp Panoramas from Motion-blurred Videos
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...
Yunpeng Li, Sing Bing Kang, Neel Joshi, Steve Seit...
ESEC
1999
Springer
15 years 10 months ago
Components and Generative Programming
This paper is about a paradigm shift from the current practice of manually searching for and adapting components and their manual assembly to Generative Programming, which is the a...
Krzysztof Czarnecki, Ulrich W. Eisenecker