371 search results - page 5 / 75 » Adaptation hiding modularity |
110
click to vote
FMCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
IJACTAICIT
2010
14 years 7 months ago
2010
This paper presents an improved adaptive algorithm for enhanced data hiding under HH-subband Haar Wavelet coefficients of a gray scale host image. The algorithm uses an optimal se...
64
Voted
LOCWEB
2009
ACM
15 years 2 months ago
2009
ACM
While the demand for Location-based Services (LBS) is strongly increasing, technical laymen are not yet able to build and provide location-aware applications. This paper presents ...
IEEEHPCS
2010
14 years 4 months ago
2010
Robust lossless data hiding (LDH) methods have attracted more and more attentions for copyright protection of multimedia in lossy environment. One of the important requirements of...
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...