[Lecture Notes in Computer Science] Database Systems for Advanced Applications Volume 5982 || ADERIS: Adaptively Integrating RDF Data from SPARQL Endpoints
- 作者Kitagawa, Hiroyuki; Ishikawa, Yoshiharu; Li, Qing; Watanabe, Chiemi
- 文件大小329.40KB
- 发表时间2010
- DOI10.1007/978-3-642-12098-5_35
- 页码400-403
[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 4762 || On-the-Fly Model Checking of Fair Non-repudiation ProtocolsNamjoshi, Kedar S.; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio · 2007
[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 4762 || A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov ChainsNamjoshi, Kedar S.; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio · 2007
[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 4762 || Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL DescriptionsNamjoshi, Kedar S.; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio · 2007