6812 search results - page 994 / 1363 » Detection of Information Flows |
165
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
192
click to vote
ISSRE
2006
IEEE
16 years 25 days ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
178
click to vote
MMM
2006
Springer
16 years 25 days ago
2006
Springer
When browsing videos in mobile devices, people often feel that resolution greatly affects their perceptual experience in the limited screen size. In this paper, an attention based...
172
click to vote
ICDAR
2005
IEEE
16 years 13 days ago
2005
IEEE
To circumvent prevalent text-based anti-spam filters, spammers have begun embedding the advertisement text in images. Analogously, proprietary information (such as source code) ma...
159
click to vote
ICMCS
2005
IEEE
16 years 12 days ago
2005
IEEE
Random geometric distortion is one of the most difficult kinds of image processing to survive and has been a noted problem in watermarking research. Previous methods for dealing ...