51692 search results - page 10080 / 10339 » at 2008 |
218
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
193
click to vote
TRIDENTCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Research on TCP performance relies either on simulation programs, which run on a single machine, or on the use of real testbeds, where different machines represent different netwo...
208
click to vote
TRIDENTCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents the NTP experimental platform for heterogeneous wireless sensor networks (WSN), which is built on the campus of National Tsing Hua University under the supp...
213
click to vote
TRIDENTCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
We evaluate and compare the performance of three P2P streaming systems that are capable of streaming live video on the Internet by testing them on a carefully controlled, traffic...
166
click to vote
TRIDENTCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
The WiMAX Reference Network Architecture can be used in point-to-point and point-to-multipoint network topologies, and is suitable for providing last-mile, building-to-building, a...