4095 search results - page 463 / 819 » How to test a tree |
140
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
: In the last decade, many evaluation results have been created within the evaluation initiatives like TREC, NTCIR and CLEF. The large amount of data available has led to substanti...
176
click to vote
PLDI
2009
ACM
16 years 22 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
147
click to vote
AGILEDC
2008
IEEE
16 years 13 days ago
2008
IEEE
Systematic is an agile company working at CMMI level 5, where the default way of working is based on Scrum and story based early testing development. Solid experiences in combinin...
213
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...
144
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
We presented a paper in Denver that addressed our Remedy design process. At that time we talked about our current development process, but we hadn't implemented the product a...