2746 search results - page 533 / 550 » Case Study in Survivable Network System Analysis |
188
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Routing protocols have traditionally been based on finding shortest paths under certain cost metrics. A conventional routing metric models the cost of a path as the sum of the...
208
click to vote
DSN
2002
IEEE
16 years 8 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
228
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—With increasing popularity of media enabled handhelds, the need for high data-rate services for mobile users is evident. Large-scale Wireless LANs (WLANs) can provide su...
215
click to vote
ACSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
The penetration of cellular networks worldwide and emergence of smart phones has led to a revolution in mobile content. Users consume diverse content when, for example, exchanging...
198
click to vote
TPDS
2010
15 years 5 months ago
2010
—This paper analyzes the potential of cooperative proxy caching for peer-to-peer (P2P) traffic as a means to ease the burden imposed by P2P traffic on Internet Service Providers ...