Sciweavers

1912 search results - page 11 / 383
» XML Technologies and Software Engineering
Sort
View
PEPM
2007
ACM
14 years 1 months ago
XML graphs in program analysis
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
Anders Møller, Michael I. Schwartzbach
ISSTA
2004
ACM
14 years 1 months ago
Model checking XML manipulating software
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
Xiang Fu, Tevfik Bultan, Jianwen Su
EDBTW
2006
Springer
13 years 11 months ago
Validity-Sensitive Querying of XML Databases
We consider the problem of querying XML documents which are not valid with respect to given DTDs. We propose a framework for measuring the invalidity of XML documents and compactly...
Slawomir Staworko, Jan Chomicki
EDBTW
2010
Springer
14 years 2 months ago
Model driven development of secure XML data warehouses: a case study
Belén Vela, Carlos Blanco, Eduardo Fern&aac...
SIGSOFT
2003
ACM
14 years 26 days ago
EFFICIENT: a tool set for supporting the modelling and validation of ebXML
Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand ...