4276 search results - page 214 / 856 » Techniques for Empirical Validation |
200
click to vote
ENTCS
2006
15 years 6 months ago
2006
Program slicing is a well-known technique to extract the program statements that (potentially) affect the values computed at some point of interest. In this work, we introduce a n...
255
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Sketching techniques can provide approximate answers to aggregate queries either for data-streaming or distributed computation. Small space summaries that have linearity propertie...
162
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Techniques for test-case prioritization re-order test cases to increase their rate of fault detection. When there is a fixed time budget that does not allow the execution of all ...
179
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
Effective provisioning of next generation distributed applications hosted on diverse middleware platforms incurs significant challenges due to the applications’ growing complex...
154
click to vote
MOBICOM
2004
ACM
16 years 1 days ago
2004
ACM
In order to meet performance goals, it is widely agreed that vehicular ad hoc networks (VANETs) must rely heavily on node-to-node communication, thus allowing for malicious data t...