Sciweavers

239 search results - page 8 / 48
» A High-Level Language for Specifying XML Data Transformation...
Sort
View
FM
1999
Springer
121views Formal Methods» more  FM 1999»
14 years 26 days 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
PADL
2000
Springer
14 years 4 days 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...
EXTREME
2004
ACM
14 years 2 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»
14 years 9 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
SIGMOD
2003
ACM
108views Database» more  SIGMOD 2003»
14 years 8 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...