1299 search results - page 257 / 260 » On the Correctness of Operating System Kernels |
CCS
2009
ACM
14 years 1 months ago
2009
ACM
Tor is an anonymous communications network with thousands of router nodes worldwide. An intuition reflected in much of the literature on anonymous communications is that, as an a...
ICC
2008
IEEE
14 years 1 months ago
2008
IEEE
— Accurate simulation and analysis of wireless protocols and systems is inherently dependent on an accurate model of the underlying channel. In this paper, we show that residual ...
PIMRC
2008
IEEE
14 years 1 months ago
2008
IEEE
—This article studies the performance of the Sliding RS Encoding (SRSE) in the transmission of streaming services in DVB-H (Digital Video Broadcasting - Transmission System for H...
SECON
2008
IEEE
14 years 1 months ago
2008
IEEE
—Vehicular networks, in which cars communicate wirelessly to exchange information on traffic conditions, offer a promising way to improve road safety. Yet ensuring the correct f...
ICMCS
2006
IEEE
14 years 22 days ago
2006
IEEE
A novel video encoding and splicing method is proposed which minimizes the tune-in time of “channel zapping”, i.e. changing from one audiovisual service to another, in IPDC ov...