958 search results - page 146 / 192 » Model Transformation Languages and Their Implementation by B... |
102
click to vote
SAS
2007
Springer
15 years 7 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
ECBS
2010
IEEE
15 years 6 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
111
click to vote
B
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Writing a formal speciļ¬cation for real-life, industrial problems is a diļ¬cult and error prone task, even for experts in formal methods. In the process of specifying a...
125
click to vote
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
131
click to vote
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...