3657 search results - page 86 / 732 » A Study of Practical Deduplication |
FLAIRS
2000
13 years 11 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
14 years 4 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 ...
EMSOFT
2005
Springer
14 years 3 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
14 years 19 days 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...
AGILEDC
2008
IEEE
14 years 10 days 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...