Sciweavers

589 search results - page 81 / 118
» internet 2000
Sort
View
ISCC
2000
IEEE
112views Communications» more  ISCC 2000»
14 years 1 months ago
RED Behavior with Different Packet Sizes
We consider the adaptation of random early detection (RED) as a buffer management algorithm for TCP traffic in Internet gateways where different maximum transfer units (MTUs) are ...
Stefaan De Cnodder, Omar Elloumi, Kenny Pauwels
RTAS
2000
IEEE
14 years 1 months ago
Dynamic Class-Based Queue Management for Scalable Media Servers
Real-time media servers are becoming increasingly important due to the rapid transition of the Internet from text and graphics based applications to multimedia-driven environments...
Aaron Striegel, G. Manimaran
TPHOL
2000
IEEE
14 years 1 months ago
Routing Information Protocol in HOL/SPIN
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
WETICE
2000
IEEE
14 years 1 months ago
Secure Self-Certified COTS
With the advent and the rising popularity of networks, Internet, intranets and distributed systems, security is becoming one of the major concerns in IT research. An increasing nu...
Mourad Debbabi, E. Giasson, Béchir Ktari, F...
WETICE
2000
IEEE
14 years 1 months ago
Towards Secure e-Services
This poster paper presents a work in progress in the new emerging area of electronic services (e-services). The networked home with refrigerators and washing machines connected to...
Claudiu Duma, Almut Herzog, Nahid Shahmehri