6110 search results - page 961 / 1222 » Graceful Network Operations |
161
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
174
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—This work develops a discrete-time dynamical feedback system model for a simplified TCP network with RED control and provides a nonlinear analysis that can help in unde...
184
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
—Intelligent mobile terminals (or users) of next generation wireless networks are expected to initiate voice over IP (VoIP) calls using session set-up protocols like H.323 or SIP...
149
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— This paper introduces a new packet marking algorithm that can be used in the context of Assured Forwarding (AF) in the Differentiated Services (DiffServ) framework [1],...
185
Voted
LCN
2002
IEEE
15 years 11 months ago
2002
IEEE
Parallel Packet Switches (PPS) use internal, parallel switch planes that operate at less than line speed. A PPS can scale-up to faster line speeds than a single-plane switch can. ...