15885 search results - page 2637 / 3177 » Strategic Software Engineering |
187
click to vote
EUROPAR
2003
Springer
16 years 11 days ago
2003
Springer
In this paper, a two-dimensional airfoil shape optimisation problem is investigated using CFD within a grid computing environment (GCE) implemented in Matlab. The feature-based par...
142
click to vote
FATES
2003
Springer
16 years 11 days ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
182
click to vote
FOSSACS
2003
Springer
16 years 11 days ago
2003
Springer
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
178
click to vote
FOSSACS
2003
Springer
16 years 11 days ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
177
click to vote
FSTTCS
2003
Springer
16 years 11 days ago
2003
Springer
Given a polygonal path P with vertices p1, p2, . . . , pn and a real number t ≥ 1, a path Q = (pi1 , pi2 , . . . , pik ) is a t-distance-preserving approximation of P if 1 = i1 &...