Sciweavers

3885 search results - page 196 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
122
Voted
EUROMICRO
2004
IEEE
15 years 8 months ago
A Framework for Protecting Web Sevices with IPsec
This paper proposes a WSDL extension for describing IPsec policies for protecting Web Services communications. By using the proposed extension, a Web Service (server) informs to i...
Cássio Ditzel Kropiwiec, Edgard Jamhour, Ca...
NAACL
1994
15 years 6 months ago
Microphone-Independent Robust Signal Processing Using Probabilistic Optimum Filtering
A new mapping algorithm for speech recognition relates the features of simultaneous recordings of clean and noisy speech. The model is a piecewise nonfinear transformation appfied...
Leonardo Neumeyer, Mitch Weintraub
126
Voted
TECS
2008
94views more  TECS 2008»
15 years 4 months ago
Composing heterogeneous reactive systems
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
Albert Benveniste, Benoît Caillaud, Luca P. ...
135
Voted
IEEECIT
2010
IEEE
15 years 3 months ago
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
Yue Ma, Jean-Pierre Talpin, Thierry Gautier
154
Voted
TSP
2008
180views more  TSP 2008»
15 years 4 months ago
Algebraic Signal Processing Theory: Foundation and 1-D Time
This paper introduces a general and axiomatic approach to linear signal processing (SP) that we refer to as the algebraic signal processing theory (ASP). Basic to ASP is the linear...
Markus Püschel, José M. F. Moura