Sciweavers

2028 search results - page 36 / 406
» Deriving Relation Keys from XML Keys
Sort
View
SAC
2009
ACM
15 years 10 months ago
Enhancing XML data warehouse query performance by fragmentation
XML data warehouses form an interesting basis for decisionsupport applications that exploit heterogeneous data from multiple sources. However, XML-native database systems currentl...
Hadj Mahboubi, Jérôme Darmont
CONCUR
2008
Springer
15 years 5 months ago
Deriving Structural Labelled Transitions for Mobile Ambients
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...
Julian Rathke, Pawel Sobocinski
MPC
2010
Springer
157views Mathematics» more  MPC 2010»
15 years 8 months ago
Formal Derivation of Concurrent Garbage Collectors
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
ADBIS
2007
Springer
124views Database» more  ADBIS 2007»
15 years 10 months ago
Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams
Although the native (tree-like) storage of XML data becomes more and more important there will be an enduring demand to manage XML data in its textual representation, for instance ...
Beda Christoph Hammerschmidt, Christian Werner, Yl...
126
Voted
APPINF
2003
15 years 5 months ago
Industrial Diagnostics using Algebra of Uncertain Temporal Relations
Industrial diagnostics is an important application area for many AI formalisms. Temporal diagnostics, based on analyzing temporal relations between values of crucial variables, is...
Vladimir Ryabov, Vagan Y. Terziyan