Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta {best,...  Home/Search
Context
Related
| bu.edu/techreports...nalnetspecs.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: bu.edu/techreports/pdf/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Science of Network Service Composition has clearly emerged as one of the grand themes driving many of our research questions in the networking field today [SMo]. This driving force stems from the rise of sophisticated applications and new networking paradigms. By "service composition" we mean that the performance and correctness properties local to the various constituent components of a service can be readily composed into global (end-to-end) properties without re-analyzing any of the... (Update)
Active bibliography (related documents): More All
1.7: Safe Compositional Specification of Networking Systems - Azer Bestavros Adam (2004) (Correct)
0.2: Differentiation between Short and Long TCP Flows.. - Avrachenkov.. (2004) (Correct)
0.1: Stream-Packing: Resource Allocation in Web Server Farms.. - Shahabuddin, Kumar (Correct)
Similar documents based on text: More All
0.5: StaXML: Static Typing of XML Document Fragments for.. - Bradley, Kfoury.. (2004) (Correct)
0.4: SomeCast - A Paradigm for Real-Time Adaptive Reliable.. - Yoon, Bestavros, Matta (2000) (Correct)
0.4: Adaptive Reliable Multicast - Yoon, Bestavros, Matta (1999) (Correct)
BibTeX entry: (Update)
@misc{ adam-safe,
author = "Azer Bestavros Adam",
title = "Safe Compositional Specification of Networking Systems",
url = "citeseer.ist.psu.edu/711088.html" }
Citations (may not include all citations):1225 Chord: A scalable peer-to-peer lookup service for internet a.. - Stoica, Morris et al. - 2001
579 Self-similarity in world wide web traffic: Evidence and poss.. - Crovella, Bestavros - 1997
144 Internet indirection infrastructure - Stoica, Adkins et al. - 2002
98 Forward and backward simulations -- part II: Timing-based sy.. - Lynch, Vaandrager - 1996
95 Forward and backward simulations -- part I: Untimed systems - Lynch, Vaandrager - 1995
89 Modern Control Engineering (context) - Ogata - 2002
49 The War between Mice and Elephants - Guo, Matta - 2001
23 The stable paths problem and interdomain routing - Griffin, Shepherd et al. - 2002
16 TCP congestion control and heavy tails - Guo, Crovella et al. - 2000
12 Differentiated Control of Web Traffic: A Numerical Analysis - Guo, Matta - 2002
10 Scheduling Flows with Unknown Sizes: An Approximate Analysis - Guo, Matta - 2002
9 Open Issues and Challenges in Providing Quality of Service G.. - Kurose - 1993
3 Systematic verification of safety properties of arbitrary ne.. - Bradley, Bestavros et al. - 2003
3 the self-similarity of ethernet traffic (context) - Leland, Taqqu et al. - 1994
3 Periodic resource model for compositional real-time guarante.. (context) - Shin, Lee - 2003
3 and Michael Smirnov (context) - Stavrakakis, Matta - 2003
http://www.cs.bu.edu/groups/itm/
Documents on the same site (http://www.cs.bu.edu/techreports/pdf/): More
Robust Tracking of Human Motion - Buzan (2004) (Correct)
Segmenting Foreground Objects from a Dynamic Textured.. - Zhong, Sclaroff (2003) (Correct)
dPAM: A Distributed Prefetching Protocol for Scalable.. - Sharma, Bestavros, Matta (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC