1860 search results - page 43 / 372 » Automatic Generation of Search Engines |
ICCAD
2000
IEEE
14 years 3 months ago
2000
IEEE
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
COMPSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
SIGSOFT
2005
ACM
14 years 11 months ago
2005
ACM
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
HT
2005
ACM
14 years 4 months ago
2005
ACM
Vox Populi is a system that automatically generates video documentaries. Our application domain is video interviews about controversial topics. Via a Web interface the user select...
MODELS
2007
Springer
14 years 4 months ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...