1183 search results - page 131 / 237 » An event-condition-action language for XML |
188
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
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...
159
click to vote
DBPL
2009
Springer
16 years 28 days ago
2009
Springer
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
125
click to vote
AINA
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper describes an architecture for sharing data in XML format through a peer-to-peer (P2P) network, which interconnects devices ranging from high-end servers to mobile devic...
163
click to vote
IDEAS
2006
IEEE
16 years 11 days ago
2006
IEEE
Updating XML documents submitted to schema constraints requires incremental validation, i.e. checking the parts of the document concerned by the updates. We propose to correct sub...
176
click to vote
APLAS
2006
ACM
16 years 10 days ago
2006
ACM
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...