This work is supported in part by the National Science Foundation Career Award CCR-9984852, and an Ohio Board of Regents Computer Science Collaboration Grant. We would like to thank our shepherd Richard Golding for his many valuable suggestions on the final version of this paper. We would also like to thank the anonymous reviewers for their useful comments.