3581 search results - page 507 / 717 » Modeling the Internet |
143
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
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...
134
click to vote
ADC
2000
Springer
15 years 10 months ago
2000
Springer
Annotated speech corpora are databases consisting of signal data along with time-aligned symbolic ‘transcriptions’. Such databases are typically multidimensional, heterogeneou...
143
click to vote
AUTONOMICS
2007
ACM
15 years 9 months ago
2007
ACM
This paper revisits the fundamental trade-off between endto-end and hop-by-hop transport control. The end-to-end principle has been one of the building blocks of the Internet; but...
142
click to vote
CANDT
2009
15 years 9 months ago
2009
Once acquainted with the modern information and communication tools made available with the advent of the Internet, five Brazilian rural communities participating in a pilot proje...
168
click to vote
ICCCN
2007
IEEE
15 years 9 months ago
2007
IEEE
Transport Control Protocol (TCP) has served as a reliable, self-regulated, and congestion tolerant transport protocol for many Internet applications. Relatively, limited knowledge ...