61 search results - page 13 / 13 » A New Lexical Chain Algorithm Used for Automatic Summarizati... |
DAC
2010
ACM
13 years 8 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...