7393 search results - page 148 / 1479 » Synthesis-for-testability using transformations |
100
Voted
ISCAS
2002
IEEE
15 years 8 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...
130
Voted
DCC
1999
IEEE
15 years 7 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...
133
click to vote
CW
2005
IEEE
15 years 5 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...
119
click to vote
PLANX
2007
15 years 4 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...
135
click to vote
SEMWEB
2004
Springer
15 years 8 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...