Counterexamples and amendments to the termination and optimality of ADOPT-based algorithms von Noshiro, Koji, Hasebe, Koji

Volltext

Analysis of Optimal File Placement for Energy-Efficient File-Sharing Cloud Storage System von Machida, Fumio, Hasebe, Koji, Abe, Hirotake, Kato, Kazuhiko

Volltext

Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction von HASEBE, Koji, OKOSHI, Jumpei, KATO, Kazuhiko

Volltext

Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction von Hasebe, Koji, Okoshi, Jumpei, Kato, Kazuhiko

Volltext

Ant Colony Optimization for K-Independent Average Traveling Salesman Problem von Iwasaki, Yu, Hasebe, Koji

Volltext

Compositional Object Synthesis in Game of Life Cellular Automata Using SAT Solver von Nishimura, Haruki, Hasebe, Koji

Volltext

Robustness and Failure Detection in Epistemic Gossip Protocols von Fujishiro, Kosei, Hasebe, Koji

Volltext

Analysis of the impact of income information on the emergence of cooperation von TAKEUCHI, Yu, HASEBE, Koji

Volltext

Erratum to: Iterative information update and stability of strategies von Masuzawa, Takuya, Hasebe, Koji

Volltext

Iterative information update and stability of strategies von Masuzawa, Takuya, Hasebe, Koji

Volltext

A Self-Stabilizing Approach to Tolerate Failure for Internet Service Platform von YAMATOZAKI, Kei, HASEBE, Koji, SUGIKI, Akiyoshi, KATO, Kazuhiko

Volltext

A Game Theoretic Approach to Power Reduction in Distributed Storage Systems von Hasebe, Koji, Sawada, Takumi, Kato, Kazuhiko

Volltext

Multi-tier Power-Saving Method in Cloud Storage Systems for Content Sharing Services von Choeng, Horleang, Hasebe, Koji, Abe, Hirotake, Kato, Kazuhiko

Volltext

A Report on the 35th JSSST Annual Conference von MORIHATA, Akimasa, INOUE, Katsuro, KUSUMOTO, Shinji, NAKAGAWA, Hiroyuki, ITO, Kei, HASEBE, Koji

Volltext

Dynamic grid quorum: a reconfigurable grid quorum and its power optimization algorithm von Ishikawa, Munetoshi, Hasebe, Koji, Sugiki, Akiyoshi, Kato, Kazuhiko

Volltext

Tegafur-uracil-induced rapid development of advanced hepatic fibrosis von Honda, Shuya, Sawada, Koji, Hasebe, Takumu, Nakajima, Shunsuke, Fujiya, Mikihiro, Okumura, Toshikatsu

Volltext

Towards a guideline for clinical trials in the development of human assistive robots von Hasebe, K, Kawamoto, H, Matsushita, A, Kamibayashi, K, Sankai, Y

Volltext bestellen

日本ソフトウェア科学会第35回大会報告 von 森畑, 明昌, 井上, 克郎, 楠本, 真二, 中川, 博之, 伊藤, 恵, 長谷部, 浩二

Volltext

Inferences on Honesty in Compositional Logic for Protocol Analysis von Hasebe, Koji, Okada, Mitsuhiro

Volltext

Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols von Bana, Gergei, Hasebe, Koji, Okada, Mitsuhiro

Volltext