Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [Japanese] / [English]
KBSE2017-21
A load balancing mechanism using shared state for tree processing in actor model
Kouhei Sakurai (Kanazawa Univ.)
pp. 1 - 6
KBSE2017-22
Practical AI Project Analysis using Assurance Case
Hironori Takeuchi, Shiki Akihara (IBM Japan), Shuichiro Yamamoto (Nagoya Univ.)
pp. 7 - 12
KBSE2017-23
A Proposal on Eliciting System Safety Requirements
Shuichiro Yamamoto (Nagoya Univ.)
pp. 13 - 18
KBSE2017-24
A System to Guide the Discussion for Understanding and Validity Check of Software Requirements
-- A Proposal of a Framework to Structuralize and Record the Contents of the Discussion --
Seiichi Komiya (NII)
pp. 19 - 24
KBSE2017-25
Analysis of AlphaGo from a Point of View of AI-Informatics
-- Significance of Go Becoming Science --
Haruki Ueno (NII)
pp. 25 - 30
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.