859 search results - page 34 / 172 » Implementing CMMI using a Combination of Agile Methods |
118
click to vote
RE
2001
Springer
15 years 4 months ago
2001
Springer
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
AICOM
2010
14 years 12 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
ICIP
2005
IEEE
15 years 5 months ago
2005
IEEE
This contribution presents a method for quality enhancement of mobile received analog TV signals using line selective interpolation of field information (LSI-FI). Using combining...
KDD
2001
ACM
16 years 4 days ago
2001
ACM
Recently we presented a new approach [18] to the classification problem arising in data mining. It is based on the regularization network approach but, in contrast to other method...
TSP
2010
14 years 6 months ago
2010
A random beamforming scheme for the Gaussian MIMO broadcast channel with channel quality feedback is investigated and extended. Considering the case where the receivers each have r...