|
Symbolic Design of Networked Control Systems with State Prediction
|
|
Masashi MIZOGUCHI, Toshimitsu USHIO
|
100 |
6 |
1158–1165 |
2017 |
11.48 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem
|
|
Sasinee PRUEKPRASERT, Toshimitsu USHIO
|
100 |
6 |
1166–1171 |
2017 |
11.56 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages
|
|
Reona MINODA, Shin-ichi MINATO
|
100 |
6 |
1172–1181 |
2017 |
10.48 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Formal Verification-Based Redundancy Identification of Transition Faults with Broadside Scan Tests
|
|
Hiroshi IWATA, Nanami KATAYAMA, Ken'ichi YAMAGUCHI
|
100 |
6 |
1182–1189 |
2017 |
13.33 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Validating DCCP Simultaneous-Open and Feature Negotiation Procedures
|
|
Somsak VANIT-ANUNCHAI
|
100 |
6 |
1190–1199 |
2017 |
10.43 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram
|
|
Toshiyuki MIYAMOTO
|
100 |
6 |
1200–1209 |
2017 |
13.27 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
A Formal Modeling Tool for Exploratory Modeling in Software Development
|
|
Tomohiro ODA, Keijiro ARAKI, Peter GORM LARSEN
|
100 |
6 |
1210–1217 |
2017 |
14.23 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Coverage-Based Clustering and Scheduling Approach for Test Case Prioritization
|
|
Wenhao FU, Huiqun YU, Guisheng FAN, Xiang JI
|
100 |
6 |
1218–1230 |
2017 |
9.48 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Semi-Supervised Clustering Based on Exemplars Constraints
|
|
Sailan WANG, Zhenzhi YANG, Jin YANG, Hongjun WANG
|
100 |
6 |
1231–1241 |
2017 |
14.14 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
A Novel Embedding Model for Relation Prediction in Recommendation Systems
|
|
Yu ZHAO, Sheng GAO, Patrick GALLINARI, Jun GUO
|
100 |
6 |
1242–1250 |
2017 |
11.48 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|