4708 search results - page 149 / 942 » Generating the Structure of Argument |
143
click to vote
ISSRE
2008
IEEE
16 years 13 days ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
147
click to vote
DAGM
2007
Springer
16 years 6 days ago
2007
Springer
In this paper we propose a generative statistical approach for the three dimensional (3D) extraction of the branching structure of unfoliaged deciduous trees from urban image seque...
152
click to vote
ICWE
2007
Springer
16 years 5 days ago
2007
Springer
This paper presents AWAC, a prototype CAWE tool for the automatic generation of adaptive Web applications based on the A-OOH methodology. A-OOH (Adaptive OO-H) is an extension of t...
146
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...
137
click to vote
IWSOC
2003
IEEE
15 years 11 months ago
2003
IEEE
The availability of high-level design entry tooling is crucial for the viability of any reconfigurable SoC architecture. This paper presents a template generation method to extra...