|
Verification of LINE Encryption Version 1.0 Using ProVerif
|
|
Cheng SHI, Kazuki YONEYAMA
|
102 |
8 |
1439–1448 |
2019 |
14.24 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
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 |
14.24 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
Change Impact Analysis for Refinement-Based Formal Specification
|
|
Shinnosuke SARUWATARI, Fuyuki ISHIKAWA, Tsutomu KOBAYASHI, Shinichi HO ...
|
102 |
8 |
1462–1477 |
2019 |
10.37 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
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 |
11.49 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
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 |
13.31 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
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 |
14.27 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
SCSE: Boosting Symbolic Execution via State Concretization
|
|
Huibin WANG, Chunqiang LI, Jianyi MENG, Xiaoyan XIANG
|
102 |
8 |
1506–1516 |
2019 |
12.31 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
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 |
15.12 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
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 |
14.14 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
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 |
18.05 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|