859 search results - page 67 / 172 » Implementing CMMI using a Combination of Agile Methods |
141
click to vote
JOT
2006
15 years 4 months ago
2006
Framework development is very expensive, not only because of the intrinsic difficulty related to capturing the domain knowledge, but also because of the lack of appropriate method...
174
click to vote
PSTV
1992
15 years 5 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
119
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
State-of-the-art speaker verification systems consists of a number of complementary subsystems whose outputs are fused, to arrive at more accurate and reliable verification deci...
127
click to vote
ENTCS
2000
15 years 4 months ago
2000
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
146
click to vote
DFT
2003
IEEE
15 years 10 months ago
2003
IEEE
Transient faults in VLSI circuits could lead to disastrous consequences. With technology scaling, circuits are becoming increasingly vulnerable to transient faults. This papers pr...