5114 search results - page 955 / 1023 » Complex networks |
DSN
2002
IEEE
14 years 25 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...
SIGMETRICS
2010
ACM
14 years 21 days ago
2010
ACM
A new generation of content delivery networks for live streaming, video on demand, and software updates takes advantage of a peer-to-peer architecture to reduce their operating co...
EDBT
2009
ACM
14 years 15 days ago
2009
ACM
Structured data including sets, sequences, trees and graphs, pose significant challenges to fundamental aspects of data management such as efficient storage, indexing, and simila...
ICNP
2000
IEEE
14 years 8 days ago
2000
IEEE
The majority of the traffic (bytes) flowing over the Internet today have been attributed to the Transmission Control Protocol (TCP). This strong presence of TCP has recently spu...
INFOCOM
2000
IEEE
14 years 8 days ago
2000
IEEE
Abstract – To bring QoS to the Internet, several better-thanbest-effort network services have been recently devised with significant efforts. The goal of this paper is to measure...