Sciweavers

3836 search results - page 49 / 768
» Semantics of Database Transformations
Sort
View
RTCSA
2008
IEEE
14 years 2 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
SOFSEM
2004
Springer
14 years 1 months ago
Processing XPath Expressions in Relational Databases
Abstract. Research on processing XML documents gained much activity in recent times. XML query languages are mostly based on XPath expressions, which are used to select parts of XM...
Tadeusz Pankowski
SSD
1997
Springer
131views Database» more  SSD 1997»
13 years 12 months ago
Topological Error Correcting in GIS
It is agreed upon that topological relations ore of great importance regarding to GIS data sets consistency. A lot of errors that can be found in GIS data sets are coming from a l...
Thierry Ubeda, Max J. Egenhofer
ENTCS
2006
151views more  ENTCS 2006»
13 years 7 months ago
Extending C for Checking Shape Safety
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
Mike Dodds, Detlef Plump
BXML
2003
13 years 9 months ago
Querying transformed XML documents: Determining a sufficient fragment of the original document
Large XML documents which are stored in an XML database can be transformed further by an XSL processor using an XSLT stylesheet. In order to answer an XPath query based on the tran...
Sven Groppe, Stefan Böttcher