Sciweavers

3373 search results - page 393 / 675
» Linear transformations on codes
Sort
View
ENTCS
2008
90views more  ENTCS 2008»
15 years 3 months ago
Instantaneous Transitions in Esterel
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
Olivier Tardieu, Stephen A. Edwards
TCSV
2002
101views more  TCSV 2002»
15 years 3 months ago
A family of wavelet-based stereo image coders
Abstract--In this paper, we propose novel algorithms for stereoscopic image coding based on the hierarchical decomposition of stereo information. The proposed schemes, based on wav...
Nikolaos V. Boulgouris, Michael G. Strintzis
IJWET
2008
75views more  IJWET 2008»
15 years 2 months ago
Semantic model-driven development of web service architectures
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
Claus Pahl
CCS
2010
ACM
15 years 4 months ago
On the soundness of authenticate-then-encrypt: formalizing the malleability of symmetric encryption
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
Ueli Maurer, Björn Tackmann
CORR
2011
Springer
161views Education» more  CORR 2011»
14 years 7 months ago
Quadratic Goldreich-Levin Theorems
Decomposition theorems in classical Fourier analysis enable us to express a bounded function in terms of few linear phases with large Fourier coefficients plus a part that is pseu...
Madhur Tulsiani, Julia Wolf