19587 search results - page 3517 / 3918 » Systems Engineering for software Engineers |
170
click to vote
ECMDAFA
2005
Springer
16 years 11 days ago
2005
Springer
As the Model Driven Development (MDD) and Product Line Engineering (PLE) appear as major trends for reducing software development complexity and costs, an important missing stone b...
195
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
176
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
187
click to vote
FSTTCS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
222
click to vote
FSTTCS
2005
Springer
16 years 11 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...