3307 search results - page 516 / 662 » The meaning of concurrent programs |
200
click to vote
ADBIS
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
183
click to vote
FOSSACS
2004
Springer
16 years 10 days ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
176
Voted
GPCE
2004
Springer
16 years 10 days ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
169
click to vote
IWPC
2003
IEEE
16 years 7 days ago
2003
IEEE
Large industrial legacy systems are challenges of reverseengineering activities. Reverse-engineering approaches use text-search tools based on regular expressions or work on prese...
188
click to vote
ECWEB
2003
Springer
16 years 5 days ago
2003
Springer
Transformation of data documents is of special importance to use XML as the universal data interchange format on the Web. Data transformation is used in many tasks that require dat...