✦ LIBER ✦

On the Complexity of Verifying Consistency of XML Specifications

✍ Scribed by Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid

Book ID: 118180721
Publisher: Society for Industrial and Applied Mathematics
Year: 2008
Tongue: English
Weight: 451 KB
Volume: 38
Category: Article
ISSN: 0097-5397
DOI: 10.1137/050646895

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the consistency of XML DTDs

✍ Shiyong Lu; Yezhou Sun; Mustafa Atay; Farshad Fotouhi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 447 KB

On the Complexity of Verifying Concurren

On the Complexity of Verifying Concurrent Transition Systems

✍ David Harel; Orna Kupferman; Moshe Y. Vardi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 184 KB

On the consistency of minimum complexity

On the consistency of minimum complexity nonparametric estimation

✍ Zhiyi Chi; German, S. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 299 KB

Optimizing the Execution Time for Checki

Optimizing the Execution Time for Checking the Consistency of XML Documents

✍ Yasser Kotb; Katsuhiko Gondow; Takuya Katayama 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 543 KB

Cryptanalysis and repair of the multi-ve

Cryptanalysis and repair of the multi-verifier signature with verifier specification

✍ Sung-Ming Yen 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 626 KB

The purpose of this paper is to show that the verification process of the Laih-Yen group-oriented, verifier-specified signature scheme is vulnerable. A closer look at the model of the multi-verifier, digital signature with verifier specification is given. Through this research deeper understanding a

Consistency of the static and dynamic co

Consistency of the static and dynamic components of object-oriented specifications

✍ Anna Formica; Heinz Frank 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 184 KB