Adam D. Bradley

Publication Activity (10 Years)

Years Active: 1999-2005
Publications (10 Years): 0

Publications

Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta
Typed Abstraction of Complex Network Compositions. ICNP (2005)
Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta
Safe compositional specification of networking systems. Comput. Commun. Rev. 34 (3) (2004)
Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury
A Typed Model for Encoding-Based Protocol Interoperability. ICNP (2004)
Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury
Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN. ICNP (2003)
Adam D. Bradley, Azer Bestavros
Basis token consistency: supporting strong Web cache consistency. GLOBECOM (2002)
Paul Barford, Azer Bestavros, Adam D. Bradley, Mark Crovella
Changes in Web Client Access Patterns: Characteristics and Caching Implications. World Wide Web 2 (1-2) (1999)