Formal Verification of `Programming to Interfaces' Programs

Jianhua Zhao,Xuandong Li

2016,10(4):0-0, DOI:

AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning

Kaiqiang Jiang, Ping Huang, Hui Zan,Dehui Du

2016,10(4):0-0, DOI:

Second Order Bounded Quantification with If-Expression

Gang Chen

2016,10(4):0-0, DOI:

Applying Programming Language Evaluation Criteria for Model Transformation Languages

Leila Samimi-Dehkordi, Alireza Khalilian,Bahman Zamani

2016,10(4):0-0, DOI:

Local Semantic Structure Captured and Instance Discriminated by Unsupervised Hashing

Changsheng Li, Qixing Min, Yurong Cheng,Ye Yuan, Guoren Wang

DOI:

PandaDB: Intelligent Management System for Heterogeneous Data

Zhihong Shen, Zihao Zhao, Huajin Wang, Zhongxin Liu, Chuan Hu, Chunyuan Zhou

DOI:

Node Embedding Research Over Temporal Graph

Anbiao Wu, Ye Yuan, Yuliang Ma, Guoren Wang

DOI:

KGDB: Knowledge Graph Database System with Unified Model and Query Language

Baozhu Liu, Xin Wang, Pengkai Liu, Sizhuo Li, Xiaowang Zhang, Yajun Yang

DOI:

Time Series Data Cleaning under Multi-speed Constraints Analysis Technique Supporting AI

Fei Gao, Shaoxu Song, Jianmin Wang

DOI:

Preface to the Special Issue on Data Management and Analysis Technique Supporting AI

Lei Chen, Hongzhi Wang, Yongxin Tong, Hong Gao

DOI:

Information Extraction From Microblogs: A Survey

Wen Hua,Dat T. Huynh,Saeid Hosseini,Jiaheng Lu,Xiaofang Zhou

2012,6(4):495-522, DOI:

A Meta-Model for Model-Driven Web Development

Ali Fatolahi,Stephane S. Some,Timothy C. Lethbridge

2012,6(2):125-162, DOI:

Confidentiality Protection in Cloud Computing Systems

Stephen S. Yau,Ho G. An

2010,4(4):351-365, DOI:

Attribute Selection for Numerical Databases that Contain Correlations

Taufik Djatna,Yasuhiko Morimoto

2008,2(2):125-139, DOI: