Zobrazeno 1 - 10
of 103
pro vyhledávání: '"Yoichi Shinoda"'
Publikováno v:
EAI Endorsed Transactions on Cloud Systems, Vol 1, Iss 4 (2015)
Interactive network experiments are useful for finding solutions to network problems, for teaching and for training purposes. In this demonstration we shall present an interactive experiment framework that allows users to directly control the experim
Externí odkaz:
https://doaj.org/article/7d2c0d5ff29f4b7b9f12527731f30116
Publikováno v:
Computers & Security. 128:103120
Publikováno v:
Education and Information Technologies. 24:3619-3643
Cybersecurity education and training are being conducted on an ever-increasing scale, as most organizations need to improve their readiness in dealing with the more and more frequent cyberattacks. However, most systems used for such education and tra
Autor:
Akihito Kohiga, Yoichi Shinoda
Publikováno v:
SpringSim
The virtual-machine (VM) based vehicular ad hoc network (VANET) simulation executes VMs as vehicles, on which actual telecom servers and routing protocols are implemented. We would like to create massive VM based VANET simulation to verify that VANET
Publikováno v:
Structured Object-Oriented Formal Language and Method ISBN: 9783030414177
SOFL+MSVL
SOFL+MSVL
We report on a case study in which we have formally specified a ride-sharing system in Maude, a rewriting logic-based specification/programming language and model checked that the system enjoys desired liveness as well as safety properties with the M
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d535a55d809803423cacb8c1ef5d45c
https://doi.org/10.1007/978-3-030-41418-4_14
https://doi.org/10.1007/978-3-030-41418-4_14
Publikováno v:
Computers & Security. 78:43-59
Hands-on cybersecurity education and training activities are critical given that cyberattacks occur nowadays on an ever-increasing scale. Only such practical activities can ensure that trainees will acquire the actual skills necessary to promptly dea
Publikováno v:
ICT-DM
This paper proposes a method for estimating flood levels by data assimilation using a state space model to determine the spatial-temporal flood expansion process. The method incorporates flood simulation values to analyze the causal relationship with
Publikováno v:
IEICE Transactions on Information and Systems. :740-749
Given the worldwide proliferation of cyberattacks, it is imperative that cybersecurity education and training are addressed in a timely manner. These activities typically require trainees to do hands-on practice in order to consolidate and improve th
Autor:
Toshiyuki Miyachi, Kunio Akashi, Kei Hiroi, Yoichi Shinoda, Hironobu Kanno, Hayate Hironaka, Tsubasa Yumura, Tomoya Inoue
Publikováno v:
UbiComp/ISWC Adjunct
This demonstration shows an interactive urban flood damage prediction system "ARIA" that simulates urban flood, the sufferer, and network failure in an integrated manner. In terms of disaster mitigation, it is important to confirm an affected area an
Publikováno v:
IGARSS
Preliminary simulation is important for constructing large-scale systems. However, it is difficult to consider all aspects of a society and an environment. This study attempts to solve this difficulty by utilizing the approach of application-in-the-l