Sciweavers

1412 search results - page 242 / 283
» types 2004
Sort
View
CCR
2004
147views more  CCR 2004»
15 years 5 months ago
Safe compositional specification of networking systems
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
155
Voted
CN
2004
150views more  CN 2004»
15 years 5 months ago
Optimizing interconnection policies
There are two basic types of interconnection agreements between providers in the Internet: peering and transit. A decision every Internet network service provider (INSP) has to ma...
Oliver Heckmann, Jens Schmitt, Ralf Steinmetz
COMCOM
2004
108views more  COMCOM 2004»
15 years 5 months ago
Dynamic establishment of differentiated survivable lightpaths in WDM mesh networks
In the emerging next-generation transport networks, called intelligent optical transport networks, DWDM-based optical components like add-drop multiplexers and optical cross conne...
Chava Vijaya Saradhi, C. Siva Ram Murthy
CORR
2004
Springer
177views Education» more  CORR 2004»
15 years 5 months ago
Typestate Checking and Regular Graph Constraints
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
Viktor Kuncak, Martin C. Rinard
CSUR
2004
149views more  CSUR 2004»
15 years 5 months ago
A review of vessel extraction techniques and algorithms
Vessel segmentation algorithms are the critical components of circulatory blood vessel analysis systems. We present a survey of vessel extraction techniques and algorithms. We put ...
Cemil Kirbas, Francis K. H. Quek