7393 search results - page 148 / 1479 » Synthesis-for-testability using transformations |
138
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper analyses the nature of limit cycles induced through the interaction of transformer tap changing and load dynamics. Linearization of a Poincar´e map is used to prove loc...
165
click to vote
DCC
1999
IEEE
15 years 10 months ago
1999
IEEE
The Burrows Wheeler Transform (BWT) is a reversible sequence transformation used in a variety of practical lossless source-coding algorithms. In each, the BWT is followed by a loss...
171
click to vote
CW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper explores the use of ARIS for Semantic Web Service development. It proposes an ARIS-based transformation methodology for the automatic specification and development of S...
158
click to vote
PLANX
2007
15 years 7 months ago
2007
Many useful XML transformations can be formulated through deterministic top-down tree transducers. A canonical form for such transducers is presented which allows to decide equiva...
187
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. OWL-S allows selecting, composing and invoking Web Serdifferent levels of abstraction: selection uses high level abstract descriptions, invocation uses low level groundi...