Sciweavers

755 search results - page 44 / 151
» Design for Art and Leisure
Sort
View
ECWEB
2000
Springer
103views ECommerce» more  ECWEB 2000»
15 years 2 months ago
Security of Electronic Business Applications - Structure and Quantification
: 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...
Konstantin Knorr, Susanne Röhrig
81
Voted
DCC
1999
IEEE
15 years 2 months ago
Edge Adaptive Prediction for Lossless Image Coding
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...
Wee Sun Lee
ACSD
2001
IEEE
118views Hardware» more  ACSD 2001»
15 years 1 months ago
Correct Performance of Transaction Capabilities
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...
Thomas Arts, Izak van Langevelde
CC
2008
Springer
111views System Software» more  CC 2008»
14 years 11 months ago
A System for Generating Static Analyzers for Machine Instructions
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 ...
Junghee Lim, Thomas W. Reps
TIFS
2010
120views more  TIFS 2010»
14 years 4 months ago
Gibbs Construction in Steganography
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...
Tomás Filler, Jessica J. Fridrich