8177 search results - page 1207 / 1636 » Detecting System Emulators |
162
click to vote
SEFM
2005
IEEE
16 years 13 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
194
click to vote
SEFM
2005
IEEE
16 years 13 days ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
148
click to vote
MM
2005
ACM
16 years 12 days ago
2005
ACM
This paper introduces a novel and very accurate segmentation algorithm. It is very efficient and consumes less than 10% of CPU on a simple desktop PC to segment a stream in real-t...
189
click to vote
MMSEC
2005
ACM
16 years 12 days ago
2005
ACM
We propose a general framework for the detection of the LSB steganography using digital media files as cover objects. The new framework exploits high-order statistics of the samp...
194
click to vote
MMSEC
2005
ACM
16 years 12 days ago
2005
ACM
Image steganalysis so far has dealt only with detection of a hidden message and estimation of some of its parameters (e.g., message length and secret key). To our knowledge, so fa...