Sciweavers

3384 search results - page 92 / 677
» More Testable Properties
Sort
View
143
Voted
BPSC
2009
184views Business» more  BPSC 2009»
15 years 6 months ago
Generating WS-SecurityPolicy Documents via Security Model Transformation
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
Meiko Jensen
118
Voted
ISVLSI
2005
IEEE
80views VLSI» more  ISVLSI 2005»
15 years 10 months ago
Sensitivity Analysis of a Cluster-Based Interconnect Model for FPGAs
Mesh interconnect can be efficiently utilized while tree networks encourage the short routing distances. In this paper, we present the property analysis of a cluster-based interc...
Renqiu Huang, Ranga Vemuri
ICIP
2007
IEEE
15 years 8 months ago
On Optimal Watermarking Schemes in Uncertain Gaussian Channels
This paper describes the analytical derivation of a new watermarking algorithm satisfying optimality properties when the distortion of the watermarked signal is caused by a Gaussi...
Alvaro A. Cárdenas, George V. Moustakides, ...
AMDO
2008
Springer
15 years 7 months ago
Mesh Vertex Pose and Position Interpolation Using Geometric Algebra
This paper presents a method of interpolating between two or more general displacements (rotation and translation). The resulting interpolated path is smooth and possesses a number...
Rich Wareham, Joan Lasenby
CTRSA
2008
Springer
100views Cryptology» more  CTRSA 2008»
15 years 6 months ago
A Latency-Free Election Scheme
We motivate and describe the problem of finding protocols for multiparty computations that only use a single broadcast round per computation (latency-free computations). We show t...
Kristian Gjøsteen