Sciweavers

32 search results - page 5 / 7
» telsys 2008
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
13 years 5 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
TELSYS
2002
122views more  TELSYS 2002»
13 years 5 months ago
Performance Analysis of Reassembly and Multiplexing Queueing with Long-Range-Dependent Input Traffic
This paper studies the impact of long-range-dependent (LRD) traffic on the performance of reassembly and multiplexing queueing. A queueing model characterizing the general reassemb...
George C. Lin, Tatsuya Suda, Fumio Ishizaki
TELSYS
2002
70views more  TELSYS 2002»
13 years 5 months ago
Integrating Differentiated Services with ATM
IP in the edge and ATM in the core are commonplace in today's internetworks. The IETF has proposed a new Quality of Service (QoS) mechanism namely Differentiated Services (Dif...
Sowmya Manjanatha, Radim Bartos
TELSYS
2002
73views more  TELSYS 2002»
13 years 5 months ago
Avoiding Counting to Infinity in Distance Vector Routing
The Routing Information Protocol (RIP) may introduce misleading routing information into the routing table, due to network topology changes such as link or router failures. This is...
Andreas Schmid, Christoph Steigner
TELSYS
2010
94views more  TELSYS 2010»
13 years 4 months ago
An improved Hurst parameter estimator based on fractional Fourier transform
A fractional Fourier transform (FrFT) based estimation method is introduced in this paper to analyze the long range dependence (LRD) in time series. The degree of LRD can be chara...
Yangquan Chen, Rongtao Sun, Anhong Zhou