Sciweavers

7393 search results - page 385 / 1479
» Synthesis-for-testability using transformations
Sort
View
139
Voted
ECOOP
2007
Springer
15 years 9 months ago
Automation of Refactoring and Refactoring Suggestions for TTCN-3 Test Suites. The TRex TTCN-3 Refactoring and Metrics Tool
Refactoring is not only useful for source code of implementations, but as well for test specifications. The open source TRex tool automates the application of refactorings and the ...
Helmut Neukirchen, Benjamin Zeiss
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...
ESTIMEDIA
2008
Springer
15 years 6 months ago
Translating data flow to synchronous block diagrams
We propose a method to automatically transform synchronous data flow diagrams into synchronous block diagrams. The idea is to use triggers, a mechanism that allows a block to be f...
Roberto Lublinerman, Stavros Tripakis
ICMLA
2008
15 years 6 months ago
An Improved Generalized Discriminant Analysis for Large-Scale Data Set
In order to overcome the computation and storage problem for large-scale data set, an efficient iterative method of Generalized Discriminant Analysis is proposed. Because sample v...
Weiya Shi, Yue-Fei Guo, Cheng Jin, Xiangyang Xue
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 5 months ago
Variable elimination for building interpreters
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
Julien Cohen, Jean-Louis Giavitto, Olivier Michel