IEICE Transactions in Information and Systems - 巻 102 / 号 8
| タイトル | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| 著者 | 巻 | 号 | ページ | 年 | PKV | ||||
| Verification of LINE Encryption Version 1.0 Using ProVerif | |||||||||
| Cheng SHI, Kazuki YONEYAMA | 102 | 8 | 1439–1448 | 2019 | 0.0 | ||||
| 平均評価: 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 | 0.0 | ||||
| 平均評価: 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 | 0.0 | ||||
| 平均評価: 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 | 0.0 | ||||
| 平均評価: 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 | 0.0 | ||||
| 平均評価: 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 | 0.0 | ||||
| 平均評価: 0.0 / 5 (0 件のレビュー) | |||||||||
| SCSE: Boosting Symbolic Execution via State Concretization | |||||||||
| Huibin WANG, Chunqiang LI, Jianyi MENG, Xiaoyan XIANG | 102 | 8 | 1506–1516 | 2019 | 0.0 | ||||
| 平均評価: 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 | 0.0 | ||||
| 平均評価: 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 | 0.0 | ||||
| 平均評価: 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 | 0.0 | ||||
| 平均評価: 0.0 / 5 (0 件のレビュー) | |||||||||