Sciweavers

5866 search results - page 859 / 1174
» An e-Process Selection Model
Sort
View
JUCS
2007
108views more  JUCS 2007»
15 years 6 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
COMCOM
2004
99views more  COMCOM 2004»
15 years 6 months ago
Performance analysis of a mobile communication network: the tandem case
This paper investigates mobile communication networks consisting of N-cells in tandem. Two models with fixed channel assignment are considered, which correspond to (A) a uni-direc...
Attahiru Sule Alfa, Bin Liu
COMCOM
2004
92views more  COMCOM 2004»
15 years 6 months ago
Benefits of traffic engineering using QoS routing schemes and network controls
We demonstrate the benefits of traffic engineering by studying three realistic network models derived from an actual service provider network. We evaluate traffic engineering in t...
Shekhar Srivastava, Balaji Krithikaivasan, Cory C....
CORR
2004
Springer
88views Education» more  CORR 2004»
15 years 6 months ago
Unification of Fusion Theories
: Since no fusion theory neither rule fully satisfy all needed applications, the author proposes a Unification of Fusion Theories and a combination of fusion rules in solving probl...
Florentin Smarandache
JCSC
2000
106views more  JCSC 2000»
15 years 6 months ago
Implementation of a Long Range LRF by Automatic Multi-Mode Measurement Scheme
A long range Laser Range Finder (LRF) is proposed and developed in this paper. A mathematical model, which relates the relation between object distance and Position Sensitive Dete...
Manukid Parnichkun, Viraphan Samadi