4276 search results - page 521 / 856 » Techniques for Empirical Validation |
162
click to vote
SEFM
2007
IEEE
16 years 28 days ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
204
click to vote
SSDBM
2007
IEEE
16 years 27 days ago
2007
IEEE
Reservoir sampling is a well-known technique for sequential random sampling over data streams. Conventional reservoir sampling assumes a fixed-size reservoir. There are situation...
167
click to vote
WCRE
2007
IEEE
16 years 27 days ago
2007
IEEE
Defect density and defect prediction are essential for efficient resource allocation in software evolution. In an empirical study we applied data mining techniques for value seri...
174
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
We present a multi-agent coordination technique to maintain throughput of a large-scale agent network system in the face of failures of agents. Failures do not just deteriorate th...
172
click to vote
AUSDM
2007
Springer
16 years 25 days ago
2007
Springer
Data streams are usually generated in an online fashion characterized by huge volume, rapid unpredictable rates, and fast changing data characteristics. It has been hence recogniz...