Adam D. Bradley

According to our database, Adam D. Bradley authored at least 6 papers between 1999 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Typed Abstraction of Complex Network Compositions.

Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta

Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP 2005), 2005

2004

Safe compositional specification of networking systems.

Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta

Comput. Commun. Rev., 2004

A Typed Model for Encoding-Based Protocol Interoperability.

Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury

Proceedings of the 12th IEEE International Conference on Network Protocols (ICNP 2004), 2004

2003

Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN.

Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury

Proceedings of the 11th IEEE International Conference on Network Protocols (ICNP 2003), 2003

2002

Basis token consistency: supporting strong Web cache consistency.

Adam D. Bradley, Azer Bestavros

Proceedings of the Global Telecommunications Conference, 2002

1999

Changes in Web Client Access Patterns: Characteristics and Caching Implications.

Paul Barford, Azer Bestavros, Adam D. Bradley, Mark Crovella

World Wide Web, 1999