Sciweavers

3921 search results - page 207 / 785
» Transforming Models with ATL
Sort
View
153
Voted
CAEPIA
2003
Springer
15 years 10 months ago
An Interactive Train Scheduling Tool for Solving and Plotting Running Maps
We present a tool for solving and plotting train schedules which has been developed in collaboration with the National Network of Spanish Railways (RENFE). This tool transforms rai...
Federico Barber, Miguel A. Salido, Laura Paola Ing...
EUROMICRO
2004
IEEE
15 years 9 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 7 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
139
Voted
TECS
2008
94views more  TECS 2008»
15 years 5 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. ...
IEEECIT
2010
IEEE
15 years 4 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