Sciweavers

4764 search results - page 493 / 953
» Applications of Error-Control Coding
Sort
View
131
Voted
MMSEC
2006
ACM
129views Multimedia» more  MMSEC 2006»
15 years 10 months ago
WLAN steganography: a first practical review
Two different approaches for constructing a steganographic channel in an IEEE 802.11 (WLAN) network are introduced in this paper. First test results on the reliability, undetectab...
Christian Krätzer, Jana Dittmann, Andreas Lan...
MSWIM
2005
ACM
15 years 9 months ago
The optimal choice of encoding parameters for MPEG-4 AAC streamed over wireless networks
This paper addresses a novel linear programming based approach to optimize the choice of the encoding parameters for the MPEG-4 AAC audio codec. Current techniques solve the encod...
Claus Bauer
EUROPAR
2005
Springer
15 years 9 months ago
Performance Modeling: Understanding the Past and Predicting the Future
We present an overview of current research in performance modeling, focusing on efforts underway in the Performance Evaluation Research Center (PERC). Using some new techniques, w...
David H. Bailey, Allan Snavely
JELIA
2004
Springer
15 years 9 months ago
The Modal Logic Programming System MProlog
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
Linh Anh Nguyen
IAW
2003
IEEE
15 years 9 months ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia