Sciweavers

239 search results - page 8 / 48
» A High-Level Language for Specifying XML Data Transformation...
Sort
View
123
Voted
FM
1999
Springer
121views Formal Methods» more  FM 1999»
15 years 7 months ago
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
Hervé Marchand, Mazen Samaan
139
Voted
PADL
2000
Springer
15 years 7 months ago
Transformation-by-Example for XML
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Gr...
108
Voted
EXTREME
2004
ACM
15 years 8 months ago
Half-steps toward LMNL
Overlap in markup occurs where some markup structures do not nest, such as where the sentence and phrase boundaries of a poem and the metrical line structure describe different hi...
Wendell Piez
VLSID
2005
IEEE
140views VLSI» more  VLSID 2005»
16 years 3 months ago
Variable Resizing for Area Improvement in Behavioral Synthesis
High level synthesis tools transform an algorithmic description to a register transfer language (RTL) description of the hardware. The algorithm behavior is typically described in...
R. Gopalakrishnan, Rajat Moona
135
Voted
SIGMOD
2003
ACM
108views Database» more  SIGMOD 2003»
16 years 3 months ago
Composing XSL Transformations with XML Publishing Views
While the XML Stylesheet Language for Transformations (XSLT) was not designed as a query language, it is well-suited for many query-like operations on XML documents including sele...
Chengkai Li, Philip Bohannon, Henry F. Korth, P. P...