859 search results - page 50 / 172 » Implementing CMMI using a Combination of Agile Methods |
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
CSL
2010
Springer
14 years 12 months ago
2010
Springer
In the present work we study the appropriateness of a number of linear and non-linear regression methods, employed on the task of speech segmentation, for combining multiple phone...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
100
click to vote
SFP
2004
15 years 1 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
110
click to vote
PG
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes a two pass algorithm capable of computing solutions to the global illumination in general environments (diffuse or glossy surfaces, anisotropically scattering...