2604 search results - page 351 / 521 » Lifeline Support of the Internet |
163
click to vote
COMCOM
2002
15 years 6 months ago
2002
Providing quality of service (QoS) in large-scale networks like the Internet inherently needs to deal with heterogeneous network QoS systems. Therefore, the interworking between d...
177
click to vote
IJAIT
2002
15 years 6 months ago
2002
The number and size of information services available on the internet has been growing exponentially over the past few years. This growth has created an urgent need for information...
170
click to vote
CACM
1998
15 years 6 months ago
1998
Abstract. The Virtual Reality Modeling Language (VRML) and Java provide a standardized, portable and platformindependent way to render dynamic, interactive 3D scenes across the Int...
186
click to vote
AAI
1999
15 years 6 months ago
1999
Lifelike animated agents for knowledge-based learning environments can provide timely, customized advice to support students' problem solving. Because of their strong visual ...
217
click to vote
JACM
2002
15 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: ...