長谷部浩二 (Koji Hasebe) - 論文

Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking

Koji Hasebe, Mitsuaki Tsuji, Kazuhiko Kato

Proceedings - 2017 IEEE 15th International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017 2018- 423 - 430 2018年3月29日査読有り

A Flexible Data Migration Strategy for Power Savings in Distributed Storage Systems

Koji Hasebe, Sho Takai, Kazuhiko Kato

7th International Conference on Smart Cities and Green ICT Systems (SmartGreens 2018) 352 - 357 2018年3月査読有り

Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service

Koji Hasebe, Shohei Sasaki, Kazuhiko Kato

4th International Conference on Vehicle Technology and Intelligent Transportation Systems (VEHITS 2018) 552 - 557 2018年3月査読有り

Traffic management for last-mile public transportation systems using autonomous vehicles

Koji Hasebe, Kazuhiko Kato, Hirotake Abe, Ryutaro Akiya, Masayuki Kawamoto

2017 International Smart Cities Conference, ISC2 2017 6 pages 2017年10月30日査読有り

A game theoretic approach to power reduction in distributed storage systems

Koji Hasebe, Takumi Sawada, Kazuhiko Kato

Journal of Information Processing 24(1) 173 - 181 2016年1月15日査読有り

Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction

Koji Hasebe, Jumpei Okoshi, Kazuhiko Kato

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E98D(10) 1744 - 1754 2015年10月査読有り

Using a Potential Game for Power Reduction in Distributed Storage Systems

Koji Hasebe, Takumi Sawada, Kazuhiko Kato

2014 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING (IC2E) 550 - 555 2014年査読有り

Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus

Koji Hasebe, Naofumi Nishita, Kazuhiko Kato

2014 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING (IC2E) 410 - 416 2014年査読有り

Power-Saving in Storage Systems for Internet Hosting Services with Data Access Prediction

Jumpei,Okoshi, Hasebe,Koji, Kazuhiko,Kato

Proceedings of the 4th International Green Computing Conference (IGCC 2013) 2013年6月査読有り

Computationally complete symbolic attacker and key exchange

Gergei Bana, Koji Hasebe, Mitsuhiro Okada

Proceedings of the ACM Conference on Computer and Communications Security 1231 - 1246 2013年査読有り

Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms

Jumpei Okoshi, Koji Hasebe, Kazuhiko Kato

3rd International Conference on Cloud Computing (CloudComp 2012) Springer LNICST vol.112 52 - 61 2012年10月査読有り

Belief Revision for Inductive Game Theory

Koji Hasebe, Ryuichiro Ishikawa

9th European Workshop on Multi-agent Systems (EUMAS 2011) 15 pages 2011年11月査読有り

段階的な臨床試験プロセスによる人支援型ロボット開発の提案

長谷部浩二, 河本浩明, 上林清孝, 松下明, 山海嘉之

日本ロボット学会誌 29(3) 236 - 240 2011年4月招待有り

Iterative information update and stability of strategies

Takuya Masuzawa, Koji Hasebe

SYNTHESE 179(1) 87 - 102 2011年4月査読有り

耐障害性向上のための自己安定性に基づくインターネットサービス基盤の構築

大和崎啓, 長谷部浩二, 杉木章義, 加藤和彦

コンピュータソフトウェア 28(1) 248 - 257 2011年2月査読有り

Self-stabilizing passive replication for Internet service platforms

Koji Hasebe, Kei Yamatozaki, Akiyoshi Sugiki, Kazuhiko Kato

2011 4th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2011 - Proceedings 6 pages 2011年査読有り

Stepwise process of clinical trials in safety-conscious development of human assistive robots

Koji Hasebe, Hiroaki Kawamoto, Akira Matsushita, Kiyotaka Kamibayashi, Yoshiyuki Sankai

2011 IEEE International Conference on Robotics and Biomimetics, ROBIO 2011 50 - 55 2011年査読有り

Dynamic grid quorum: A reconfigurable grid quorum and its power optimization algorithm

Munetoshi Ishikawa, Koji Hasebe, Akiyoshi Sugiki, Kazuhiko Kato

Service Oriented Computing and Applications 4(4) 245 - 260 2010年12月査読有り

Capability-Based Delegation Model in RBAC

Koji Hasebe, Mitsuhiro Mabuchi, Akira Matsushita

SACMAT 2010: PROCEEDINGS OF THE 15TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES 109 - 118 2010年査読有り

Capability-role-based delegation in workflow systems

Koji Hasebe, Mitsuhiro Mabuchi

Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010 711 - 717 2010年査読有り