349 search results - page 4 / 70 » Symmetrically exploiting XML |
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
ISSRE
2003
IEEE
14 years 3 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
IWPC
2003
IEEE
14 years 3 months ago
2003
IEEE
Parsing programming languages is an essential component of the front end of most program comprehension tools. Languages such as C++ can be difficult to parse and so it can prove ...
ICDCIT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Many researchers have investigated the problem of storing and querying XML documents using an RDBMS. Two situations are considered in this approach based on whether or no...
CAISE
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Open exchange of electronic documents in XML formats frequently requires the transformation to different XML-Schemas or DTDs (document type description). We propose a tr...