972 search results - page 7 / 195 » Design and Protocol for Internet Accessible Mathematical Com... |
WWW
2011
ACM
13 years 1 months ago
2011
ACM
As information technology supports more aspects of modern life, digital access has become an important tool for developing regions to lift themselves from poverty. Though broadban...
IWCMC
2006
ACM
14 years 20 days ago
2006
ACM
This paper introduces project TITAN, which investigates an alternative construct of residential broadband access. The aim of the project is to increase the utilisation of deployed...
ICNP
2000
IEEE
13 years 11 months ago
2000
IEEE
Recently, audio and video delivery services are widely spread in the Internet. In order to deliver these data to multiple receivers at the same time, the multicast technologies ar...
JACM
2002
13 years 6 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
SAINT
2005
IEEE
14 years 8 days ago
2005
IEEE
In this work we present a protocol ensuring the eTransaction guarantee (i.e. a recently proposed end-to-end reliability guarantee) in a Web based, three-tier transactional system....