21 search results - page 3 / 5 » Formal modelling and analysis of XML firewall for service-or... |
SERP
2007
13 years 6 months ago
2007
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
VLDB
2005
ACM
14 years 5 months ago
2005
ACM
XML database systems emerge as a result of the acceptance of the XML data model. Recent works have followed the promising approach of building XML database management systems on un...
DOCENG
2004
ACM
13 years 10 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
WIDM
2005
ACM
13 years 11 months ago
2005
ACM
In XML retrieval, two distinct approaches have been established and pursued without much cross-fertilization taking place so far. On the one hand, native XML databases tailored to...
POPL
2012
ACM
12 years 27 days ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...