Safe compositional specification of networking systems

Computer Communication Review

Volumn 34, Issue 3, 2004, Pages 21-33

  Bestavros, Azer ^a   Bradley, Adam ^a   Kfoury, Assaf ^a   Matta, Ibrahim ^a  

^a BOSTON UNIVERSITY   (United States)

Author keywords

Control Theory; QoS Theory; Service Composition; Type Systems

Indexed keywords

QOS THEORY; SERVICE COMPOSITION; TYPE SYSTEMS;

ABSTRACTING; COMPUTER PROGRAMMING LANGUAGES; CONTROL THEORY; LAWS AND LEGISLATION; PERFORMANCE; QUALITY OF SERVICE;

COMPUTER NETWORKS;

EID: 33645776752     PISSN: 01464833     EISSN: 01464833     Source Type: Conference Proceeding    
DOI: 10.1145/1031134.1031139     Document Type: Article

References (19)

1. CS Department Boston University. The Internet Traffic Managers Project. http://www.cs.bu.edu/groups/itm/.
2. Jean-Yves Le Boudec and Patrick Thiran. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer-Verlag Lecture Notes on Computer Science 2050.
3. Adam Bradley, Azer Bestavros, and Assaf Kfoury. Safe Composition of Web Communication Protocols for Extensible Edge Services. In Proceedings of the 7th International Web Caching and Content Delivery Workshop, Boulder, CO, August 2002.
4. Adam D. Bradley, Azer Bestavros, and Assaf J. Kfoury. Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN. In IEEE Conference on Network Protocols (ICNP), Atlanta, GA, November 2003.
5. Gali Diamant, Leonid Veytser, Ibrahim Matta, Azer Bestavros, Mina Guirguis, Liang Guo, Yuting Zhang, and Sean Chen. itmBench: Generalized API for Internet Traffic Managers. Technical Report BU-CS-2003-032, Boston University, Computer Science Department, Boston, MA 02215, December 2003.
6. Timothy G. Griffin, F. Bruce Shepherd, and Gordon Wilfong. he Stable Paths Problem and Interdomain Routing. In IEEE/ACM Transactions on Networking, volume 10, April 2002.
7. Mina Guirguis, Azer Bestavros, Ibrahim Matta, Niky Riga, Gali Diamant, and Yuting Zhang. Providing Soft Bandwidth Guarantees Using Elastic TCP-based Tunnels. In Proceedings of ISCC '2004: The Ninth IEEE Symposium on Computers and Communications, Alexandria, Egypt, June 2004. (Extended version available as Boston University, CS Dept Technical Report BUCS-TR-2003-028).
8. Liang Guo and Ibrahim Matta. Scheduling Flows with Unknown Sizes: An Approximate Analysis. In Proceedings of ACM SIGMETRICS '2002, Marina Del Rey, CA, June 2002. Poster.
9. Shudong Jin, Liang Guo, Ibrahim Matta, and Azer Bestavros. A Spectrum of TCP-friendly Window-based Congestion Control Algorithms. IEEE/ACM Transactions on Networking, 11(3), 2003.
10. Jim Kurose. Open Issues and Challenges in Providing Quality of Service Guarantees in High-Speed Networks. Computer Communication Review, 23(1):6-15, January 1993.
11. Jorg Liebeherr, Stephen Patek, and Almut Burchard. A Calculus for End-to-end Statistical Service Guarantees. Technical report, University of Virginia, 2001.
12. Nancy Lynch and Frits Vaandrager. Forward and backward simulations - part I: Untimed systems. Information and Computation, 121(2):214-233, September 1995.
13. Nancy Lynch and Frits Vaandrager. Forward and backward simulations - part II: Timing-based systems. Information and Computation, 128(1):1-25, July 1996.
14. Ibrahim Matta and Azer Bestavros. A Load Profiling Approach to Routing Guaranteed Bandwidth Flows. In Proceedings of Infocom'98: The IEEE International Conference on Computer Communication, San Fransisco, CA, April 1998.
15. K. Ogata. Modern Control Engineering, 4th Ed. Prentice Hall, 2002.
16. Insik Shin and Insup Lee. Periodic Resource Model for Compositional Real-Time Guarantees. In 24th IEEE International Real-Time Systems Symposium (RTSS'03), 2003.
17. Ioannis Stavrakakis, Ibrahim Matta, and Michael Smirnov (organizers). COST-IST (EU)-NSF-ANIR (USA) NeXtworking workshop 2003. Crete, Greece, June 23-25, 2003.
18. Ion Stoica, Daniel Adkins, Shelley Zhuang, Scott Shenker, and Sonesh Surana. Internet Indirection Infrastructure. In Proceedings of ACM SIGCOMM, Pittsburgh, PA, August 2002. ACM.
19. Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, and Hari Balakrishnan. Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications. In Proceedings of ACM SIGCOMM 2001, San Diego, CA, 2001. ACM.