7225 search results - page 301 / 1445 » Software is data too |
152
click to vote
BIRTHDAY
2007
Springer
16 years 13 days ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
149
click to vote
PROFES
2007
Springer
16 years 11 days ago
2007
Springer
The cost of a Software Product Line (SPL) development project sometimes exceeds the initially planned cost, because of requirements volatility and poor quality. In this paper, we p...
173
click to vote
MEMOCODE
2006
IEEE
16 years 8 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
160
click to vote
ISCC
2005
IEEE
15 years 12 months ago
2005
IEEE
—A framework for designing a family of novel fast CRC generation algorithms is presented. Our algorithms can ideally read arbitrarily large amounts of data at a time, while optim...
174
click to vote
XPU
2004
Springer
15 years 11 months ago
2004
Springer
None of the agile methods are claimed to fit all development situations. A team should attempt to adapt the methods and practices to fit their specific needs. For that reason agile...