论文列表及评分结果
Packet Delay and Queue Length for Statistical Multiplexers with Low-Speed Access Lines.
电商所评分：1
A Queueing Model with Applications to Bridges and the DQDB (IEEE 802.6) MAN.
电商所评分：4
Construction of Optimal Communication Structures for Weighted Distributed Match-Making.
电商所评分：8
A Timer-Based Connection Management Protocol with Synchronized Clocks and its Verification.
电商所评分：9
Performance Analysis of Interconnected LANs with Server/Client Configuration.
电商所评分：9
Optimal Load Balancing in Tree Networks Two-Way Traffic.
电商所评分：7
An Emulator for Evaluating DQDB Performance.
电商所评分：9
On Two Collision Protocols for High Speed Bus LANs.
电商所评分：4
End-to-End Delays in Multistage ATM Switching Networks: Approximate Analytic Derivation of Tail Probabilities.
电商所评分：3
Extending ASN.1 Into a Full-Fledged Constraint Language in the Context of OSI Protocol Conformance Testing.
电商所评分：9
Teletraffic Issues in ATM Networks.
电商所评分：9
A Counter Based Congestion Control (CBC) for ATM Networks.
电商所评分：7
Dynamic Window Flow Control on a High-Speed Wide-Area Data Network.
电商所评分：8
Methodologies for Bandwidth Allocation, Transmission Scheduling, and Congestion Avoidance in Broadband ATM Networks.
电商所评分：9
Bandwidth Management and Congestion Control Framework of the Broadband Betwork Architecture.
电商所评分：1
Discrete Time Analysis of Leaky-Bucket Congestion Control.
电商所评分：4
Dimensioning of an ATM Switch with Shared Buffer and Threshold Priority.
电商所评分：10
Fairness in ATM Networks.
电商所评分：8
A Further Look at Statistical Multiplexing in ATM Networks.
电商所评分：6
The Effect of Cut-Through Switching on the Performance of Buffered Banyan Networks.
电商所评分：8
On Tools for FDTs.
电商所评分：2
On Tools Supporting the Use of Formal Description Techniques in Protocol Development.
电商所评分：5
Protocol Visualization in Estelle.
电商所评分：10
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
电商所评分：3
VESAR: A Pragmatic Approach to Formal Specification and Verification.
电商所评分：6
A LOTOS Based Performance Evaluation Tool.
电商所评分：10
Tool Support to Implement LOTOS Formal Specifications.
电商所评分：3
The PET and DINGO Tools for Deriving Distributed Implementations from Estelle.
电商所评分：3
LOEWE: A LOTOS Engineering Workbench.
电商所评分：4
The PSF Toolkit.
电商所评分：3