Sciweavers

9316 search results - page 237 / 1864
» Analysis of traceback techniques
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 11 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
KES
2005
Springer
15 years 11 months ago
Analysis of Parity Assignment Steganography in Palette Images
Abstract. In parity assignment-based steganography for palette images, all colors in a host image are divided into two subsets, and each pixel is used to carry one secret bit. This...
Xinpeng Zhang, Shuozhong Wang
PET
2005
Springer
15 years 11 months ago
An Analysis of Parallel Mixing with Attacker-Controlled Inputs
Parallel mixing [7] is a technique for optimizing the latency of a synchronous re-encryption mix network. We analyze the anonymity of this technique when an adversary can learn the...
Nikita Borisov
GCC
2005
Springer
15 years 11 months ago
Performance Analysis of Domain Decomposition Applications Using Unbalanced Strategies in Grid Environments
In this paper, we compare the performance of some mesh-based applications in a Grid environment using the domain decomposition technique and unbalanced workload strategies. We prop...
Beatriz Otero, José M. Cela, Rosa M. Badia,...
SIGGRAPH
1997
ACM
15 years 9 months ago
Multiresolution sampling procedure for analysis and synthesis of texture images
This paper outlines a technique for treating input texture images as probability density estimators from which new textures, with similar appearance and structural properties, can...
Jeremy S. De Bonet