Sciweavers

3384 search results - page 92 / 677
» More Testable Properties
Sort
View
BPSC
2009
184views Business» more  BPSC 2009»
13 years 10 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
ISVLSI
2005
IEEE
80views VLSI» more  ISVLSI 2005»
14 years 2 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
14 years 20 days 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
13 years 10 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»
13 years 10 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