: Internet based business leads to new challenges for Information Security with trust building and partner protection as the most important issues. This article gives an overview o...
We design an edge adaptive predictor for lossless image coding. The predictor adaptively weights four directional predictor together with an adaptive linear predictor based on inf...
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
Abstract--We make a connection between steganography design by minimizing embedding distortion and statistical physics. The unique aspect of this work and one that distinguishes it...