Typed abstraction of complex network compositions

Proceedings - International Conference on Network Protocols, ICNP

Volumn 2005, Issue , 2005, Pages 289-298

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

^a BOSTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITIONAL ANALYSIS; NETWORK CALCULUS; NETWORK SYSTEMS;

ABSTRACTING; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; ROBUSTNESS (CONTROL SYSTEMS); SYSTEMS ANALYSIS; TELECOMMUNICATION SERVICES;

TELECOMMUNICATION NETWORKS;

EID: 33750950660     PISSN: 10921648     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNP.2005.44     Document Type: Conference Paper

References (13)

1. A. Bestavros, A. D. Bradley, A. J. Kfoury, L. Liu, and I. Matta. Type-checking of compositional network flows. Technical Report BUCS-TR-2005-014, Boston University Computer Science, May 2005.
2. A. Bestavros, A. D. Bradley, A. J. Kfoury, and I. Matta. Safe compositional specification of networking systems. ACM Computer Communications Review, 34(3):21-33, 2004.
3. A. Bestavros, A. D. Bradley, A. J. Kfoury, and I. Matta. Typed abstraction of complex network compositions (extended version). Technical Report BUCS-TR-2005-015, Boston University Computer Science, May 2005.
4. J.-Y. L. Boudec and P. Thiran. Network Calculus. Springer Verlag, May 2004. LNCS 2050.
5. A. D. Bradley. A Type-Disciplined Approach to Developing Resources and Applications for the World-Wide Web, PhD thesis, Boston University, 2004.
6. J. A. Cobb and M. G. Gouda. Flow theory. IEEE/ACM Transactions on Networking, 5(5):661-674, Oct. 1997.
7. L. Gong. Project JXTA: A technology overview. Technical report, Sun Microsystems, 2000.
8. S. Gribble, M. Welsh, R. von Behren, E. Brewer, D. Culler, N. Borisov, S. Czerwinski, R. Gummadi, J. Hill, A. Josheph, R. Katz, Z. Mao, S. Ross, and B. Zhao. The Ninja architecture for robust internet-scale systems and services. Computer Networks, July 2000.
9. G. J. Holzmann and M. H. Smith. Software model checking: Extracting verification models from source code. In Proc. PSTV/FORTE99 Publ. Kluwer, pages 481-497, Beijing China, Oct. 1999.
10. J. Liebeherr, S. Patek, and A. Burchard. A calculus for endto-end statistical service guarantees. Technical report, University of Virginia, 2001.
11. N. Lynch and M. Tuttle. An introduction to input/output automata. CWI-Quarterly, 2(3)(3):219-246, Sept. 1989.
12. M. Pradella, M. Rossi, D. Mandrioli, and A. Coen-Porisini. A formal approach for designing CORBA based applications. In ICSE 2000, 2000.
13. I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In 24th IEEE International Real-Time Systems Symposium (RTSS'03), 2003.