Sciweavers

11030 search results - page 1695 / 2206
» Generative Sound Models
Sort
View
VTC
2008
IEEE
123views Communications» more  VTC 2008»
16 years 1 months ago
Performance Evaluation of Mobile WiMAX with Dynamic Overhead
—Mobile WiMAX has become one of the 3rd Generation communication systems and its performance has been widely evaluated. The physical overhead is a critical factor that may affect...
Yuehong Gao, Li Chen, Xin Zhang, Yuming Jiang
EUROMICRO
2007
IEEE
16 years 1 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
ICC
2007
IEEE
129views Communications» more  ICC 2007»
16 years 1 months ago
Source Controlled Modulation Scheme for Sources with Memory
— Given an AWGN channel, we look at the problem of designing a source controlled binary antipodal signaling system for transmitting blocks of binary symbols generated either by a...
Pedro M. Crespo, Estibaliz Loyo, Javier Del Ser, C...
ICCCN
2007
IEEE
16 years 1 months ago
A Framework for Querying Sensor Networks Using Mobile Devices
—an interplay between mobile devices and static sensor nodes is envisioned in the near future. This will enable a heterogeneous design space that can offset the stringent resourc...
Shourui Tian, Sol M. Shatz, Yang Yu
ICDCS
2007
IEEE
16 years 1 months ago
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Guoqiang Shu, David Lee
« Prev « First page 1695 / 2206 Last » Next »