Sciweavers

1403 search results - page 46 / 281
» Security Model for XML Data
Sort
View
CII
2008
103views more  CII 2008»
13 years 10 months ago
Moving from syntactic to semantic organizations using JXML2OWL
Today's enterprises face critical needs in integrating disparate information spread over several data sources inside and even outside the organization. Most organizations alre...
Toni Rodrigues, Pedro Rosa, Jorge Cardoso
CORR
2010
Springer
58views Education» more  CORR 2010»
13 years 10 months ago
Verifying Recursive Active Documents with Positive Data Tree Rewriting
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...
Blaise Genest, Anca Muscholl, Zhilin Wu
DKE
2007
199views more  DKE 2007»
13 years 10 months ago
QMatch - Using paths to match XML schemas
Integration of multiple heterogeneous data sources continues to be a critical problem for many application domains and a challenge for researchers world-wide. With the increasing ...
Naiyana Tansalarak, Kajal T. Claypool
WWW
2006
ACM
14 years 10 months ago
A framework for XML data streams history checking and monitoring
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
Alessandro Campi, Paola Spoletini
CL
2000
Springer
13 years 9 months ago
A Formal Model for an Expressive Fragment of XSLT
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
Geert Jan Bex, Sebastian Maneth, Frank Neven