s for parallel sessions (1-12) 11

The International Telecommunications Union (ITU) is currently reviewing Radio Transmission Technology (RTT) proposals for third or next generation (3G) mobile systems which is commonly referred to as the International Mobile Telecommunications in the year 2000 (IMT-2000)[1] standardization project. The project’s goal is to develop a global standard that will enable wireless subscribers to acces...

JPEG 2000, a new international standard for still image compression, is discussed at length. A high-level introduction to the JPEG-2000 standard is given, followed by a detailed technical description of the JPEG2000 Part-1 codec. Keywords—JPEG 2000, still image compression/coding, standards.

A new error-resilient JPEG2000 wireless transmission scheme is proposed. The proposed scheme exploits the ‘progressive by quality’ structure of the JPEG2000 code-stream and takes into account the effect of channel errors at different quality layers in order to protect the coded bit-stream according to channel conditions using multi-rate low-density parity-check (LDPC) codes, leading to a flexib...

In this paper we describe the development of model checking from BDD-based verification, through SAT-based bug finding, to Interpolation-based verification. Model checking is an automatic approach to formally verifying that a given system satisfies a given specification. BDD-based Symbolic Model Checking (SMC) was the first to enable model checking of real-life designs with a few hundreds of st...

We present the design and rationale of a practical system for passing confidential messages. The mechanism is an adaptation of Rivest’s “chaffing and winnowing”, which has the legal advantage of using authentication keys to provide privacy. We identify a weakness in Rivest’s particular choice of his “package transform” as an “all-or-nothing” element within his scheme. We extend the basic system...

A novel embedded wavelet coding scheme is proposed for the transmission of images over unreliable channels. The proposed scheme is based on the partitioning of information into a number of layers which can be decoded independently provided that some important and highly protected information is initially errorlessly transmitted to the decoder. Forward error correction is used in conjunction wit...