5668 search results - page 995 / 1134 » The case for software evolution |
135
click to vote
EUROSPI
2005
Springer
15 years 7 months ago
2005
Springer
It is advocated to use the ISO/IEC 15504 standard into new domains not related to Information Technology (IT), giving a powerful enterprise-wide assessment tool for quality manager...
118
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
111
click to vote
FPL
2005
Springer
15 years 7 months ago
2005
Springer
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...
122
click to vote
FSTTCS
2005
Springer
15 years 7 months 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...
151
click to vote
FSTTCS
2005
Springer
15 years 7 months 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...