70 search results - page 4 / 14 » A 2-Phase Traffic Model Based on a Speed Bound |
GIS
2007
ACM
13 years 11 months ago
2007
ACM
In this paper, we consider a traffic information sharing system based on Floating Car Data (FCD). FCD is one of the methods used to gather traffic information; it uses vehicles as...
SIGCOMM
1995
ACM
13 years 11 months ago
1995
ACM
In most network models for quality of service support, the communication links interconnecting the switches and gateways are assumed to have fixed bandwidth and zero error rate. T...
NETWORKING
2004
13 years 9 months ago
2004
Abstract. We calculate call and burst blocking probabilities (CBP and BBP respectively) in a single link loss system accommodating service-classes of ONOFF traffic calls, either of...
BNT
1997
13 years 9 months ago
1997
One of the most important network elements in the Internet are the routers which do relaying of IP packets. Because of growth of the Internet routers currently experience serious ...
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...