The TRIAD project was supported by the US Defense Advanced Research Projects Agency (DARPA) under contract number MDA972-99-C-0024. This paper greatly benefited from the guidance of our shepherd, Steven Gribble, and the comments of the USITS reviewers; thanks also to Vincent Laviano and Dan Li for their feedback.