|
Verification of LINE Encryption Version 1.0 Using ProVerif
|
|
Cheng SHI, Kazuki YONEYAMA
|
102 |
8 |
1439–1448 |
2019 |
11.33 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification
|
|
Hoang-Viet TRAN, Ngoc Hung PHAM, Viet Ha NGUYEN
|
102 |
8 |
1449–1461 |
2019 |
13.37 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Change Impact Analysis for Refinement-Based Formal Specification
|
|
Shinnosuke SARUWATARI, Fuyuki ISHIKAWA, Tsutomu KOBAYASHI, Shinichi HO ...
|
102 |
8 |
1462–1477 |
2019 |
9.48 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
High-Performance End-to-End Integrity Verification on Big Data Transfer
|
|
Eun-Sung JUNG, Si LIU, Rajkumar KETTIMUTHU, Sungwook CHUNG
|
102 |
8 |
1478–1488 |
2019 |
7.58 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Parameter Identification and State-of-Charge Estimation for Li-Ion Batteries Using an Improved Tree Seed Algorithm
|
|
Weijie CHEN, Ming CAI, Xiaojun TAN, Bo WEI
|
102 |
8 |
1489–1497 |
2019 |
12.44 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench
|
|
Kozo OKANO, Satoshi HARAUCHI, Toshifusa SEKIZAWA, Shinpei OGATA, Shin ...
|
102 |
8 |
1498–1505 |
2019 |
13.44 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
SCSE: Boosting Symbolic Execution via State Concretization
|
|
Huibin WANG, Chunqiang LI, Jianyi MENG, Xiaoyan XIANG
|
102 |
8 |
1506–1516 |
2019 |
11.44 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
TDCTFIC: A Novel Recommendation Framework Fusing Temporal Dynamics, CNN-Based Text Features and Item Correlation
|
|
Meng Ting XIONG, Yong FENG, Ting WU, Jia Xing SHANG, Bao Hua QIANG, Ya ...
|
102 |
8 |
1517–1525 |
2019 |
13.27 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
MF-CNN: Traffic Flow Prediction Using Convolutional Neural Network and Multi-Features Fusion
|
|
Di YANG, Songjiang LI, Zhou PENG, Peng WANG, Junhui WANG, Huamin YANG
|
102 |
8 |
1526–1536 |
2019 |
13.27 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Robust Label Prediction via Label Propagation and Geodesic k-Nearest Neighbor in Online Semi-Supervised Learning
|
|
Yuichiro WADA, Siqiang SU, Wataru KUMAGAI, Takafumi KANAMORI
|
102 |
8 |
1537–1545 |
2019 |
15.23 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|