3657 search results - page 86 / 732 » A Study of Practical Deduplication |
102
click to vote
FLAIRS
2000
15 years 2 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
XPU
2007
Springer
15 years 7 months ago
2007
Springer
From July 2005 to August 2006, a bioinformatics project experienced a substantial transformation by adopting Scrum and some XP practices. The paper reveals project risks, previous ...
115
click to vote
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
WSC
2008
15 years 3 months ago
2008
In this paper, we present a comparative study of different stochastic components of genetic algorithms for simulationbased optimisation of the buffer allocation problem. We explor...
120
click to vote
AGILEDC
2008
IEEE
15 years 2 months ago
2008
IEEE
Automated acceptance testing is a quite recent addition to testing in agile software development holding great promise of improving communication and collaboration. This paper sum...