Inovasi Pelayanan Pertanahan Pengecekan Sertifikat online by Rona Yunita Nugraheni, Budi Puspo Priyadi, Kismartini Kismartini

Subjects: Get full text

Grouping based calculus for propositional linear temporal logic by Kostas Ragauskas, Adomas Birštunas

Subjects: “…loop checking…”
Get full text

GDPR-oriented intelligent checking method of privacy policies compliance by Xin LI, Peng TANG, Xiheng ZHANG, Weidong QIU, Hong HUI

Subjects: Get full text

Locality-guided based optimization method for bounded model checker by Shun WANG, Ye DU, Zhen HAN, Jiqiang LIU

Subjects: “…model checking…”
Get full text

Reasons to fight: preliminary results on motivations to combat fake news by Wenting Yu, Qing Yan

Subjects: Get full text

Formal specification and security verification of usage control model based on PAT by Cong-hua ZHOU, Wei-he CHEN, Zhi-feng LIU

Subjects: Get full text

Composable information flow verification for service chain based on model checking by Ning XI, Jian-feng MA, Cong SUN, Di LU, Tao ZHANG

Subjects: “…model checking…”
Get full text

Survey on model checking based hardware Trojan detection technology by Qizhi ZHANG, Yiqiang ZHAO, Ya GAO, Haocheng MA

Subjects: Get full text

Sharing fact checking corrections in polarized political environments: A study of context and disambiguation by Natalia Aruguete, Ernesto Calvo

Subjects: Get full text

Automated configuration,simulation and verification platform for event-driven home automation IoT system by Qiuping ZHANG, Xizao WANG, Siyuan SHEN, Shiyu ZHANG, Lei BU, Xuandong LI

Subjects: Get full text

Model checking of trusted cryptographic module by CHEN Xiao-feng, FENG Deng-guo

Subjects: Get full text

Design and analysis of a novel fair payment protocol in mobile environments by LIU Xia1, GU Tian-long1, DONG Rong-sheng1, GUO Yun-chuan1

Subjects: Get full text

Identity-based cloud storage integrity checking from lattices by Miaomiao TIAN, Chuang GAO, Jie CHEN

Subjects: Get full text

Adversarial examples detection method based on boundary values invariants by Fei YAN, Minglun ZHANG, Liqiang ZHANG

Subjects: Get full text

ProcessM: Intelligent Process Mining software by Tomasz P. Pawlak, Jędrzej Potoniec

Subjects: Get full text

DEVELOPMENT AND APPLICATION OF MINING MACHINERY PLANETARY REDUCTION GEARS STRENGTH CHECK SOFTWARE by LIU XuNan, LI ChuiYang, ZHAO LiJuan, WANG AnRan

Subjects: Get full text

Modeling and verifying based on timed automata of Internet of things gateway security system by Guoqing WANG, Lei ZHUANG, Ruimin WANG, Yu SONG, Kunli ZHANG

Subjects: Get full text

The Audiovisual Archive in an Era of Disinformation and Misinformation by Jacqueline Pietsch, in collaboration with the MediaNumeric Team

Subjects: Get full text

The Impact of Collaboration Patterns and Network Centrality on Long-Term Contribution in GitHub Project by Suhee Jo, Gihwon Kwon

Subjects: Get full text

Vietnamese Sentence Fact Checking Using the Incremental Knowledge Graph, Deep Learning, and Inference Rules on Online Platforms by Huong To Duong, Van Hai Ho, Phuc do

Subjects: “…Fact checking…”
Get full text