Evolvable Network Design for Efficient Optical Intra-Datacenter Networks.

Shoichi Morimoto Takashi Miyamura Shoichi Morimoto Evolvable Network Design for Efficient Optical Intra-Datacenter Networks. 1-8 2025 ITNAC https://doi.org/10.1109/ITNAC66378.2025.11302637 conf/itnac/2025 db/conf/itnac/itnac2025.html#MiyamuraM25 Shohei Suzuki Shoichi Morimoto Electronic Internal Marketing for Tourism - A New Tourism Marketing Approach. 63-67 2014 ICE-B https://doi.org/10.5220/0005100900630067 https://ieeexplore.ieee.org/document/7509047/ conf/icete/2014 db/conf/icete/ice-b2014.html#SuzukiM14 Shoichi Morimoto A Case Study of the e-Money Application in Japanese Public Transportation. 76-81 2010 ICE-B conf/icete/2010 db/conf/icete/ice-b2010.html#Morimoto10 Kenichi Yajima Shoichi Morimoto Daisuke Horie Noor Sheila Azreen Yuichi Goto Jingde Cheng FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. 624-629 2009 ARES https://doi.org/10.1109/ARES.2009.74 https://doi.ieeecomputersociety.org/10.1109/ARES.2009.74 conf/IEEEares/2009 db/conf/IEEEares/ares2009.html#YajimaMHAGC09 Shoichi Morimoto Application of COBIT to Security Management in Information Systems Development. 625-630 2009 FCST https://doi.org/10.1109/FCST.2009.38 https://doi.ieeecomputersociety.org/10.1109/FCST.2009.38 conf/fcst/2009 db/conf/fcst/fcst2009.html#Morimoto09 Shoichi Morimoto M. 463-472 2009 SoMeT https://doi.org/10.3233/978-1-60750-049-0-463 conf/somet/2009 db/conf/somet/somet2009.html#Morimoto09 Daisuke Horie Shoichi Morimoto Noor Azimah Yuichi Goto Jingde Cheng ISEDS: An Information Security Engineering Database System Based on ISO Standards. 1219-1225 2008 ARES https://doi.org/10.1109/ARES.2008.76 https://doi.ieeecomputersociety.org/10.1109/ARES.2008.76 conf/IEEEares/2008 db/conf/IEEEares/ares2008.html#HorieMAGC08 Shoichi Morimoto A Study of Value of Business Process Models from a Managerial Viewpoint. 315-320 2008 CIMCA/IAWTIC/ISE https://doi.org/10.1109/CIMCA.2008.119 https://doi.ieeecomputersociety.org/10.1109/CIMCA.2008.119 conf/cimca/2008 db/conf/cimca/cimca2008.html#Morimoto08 Shoichi Morimoto A Survey of Formal Verification for Business Process Modeling. 514-522 2008 ICCS (2) https://doi.org/10.1007/978-3-540-69387-1_58 conf/iccS/2008-2 db/conf/iccS/iccS2008-2.html#Morimoto08 Shoichi Morimoto Shinjiro Shigematsu Yuichi Goto Jingde Cheng Classification, Formalization and Verification of Security Functional Requirements. 622-633 2008 conf/sofsem/2008 SOFSEM https://doi.org/10.1007/978-3-540-77566-9_54 db/conf/sofsem/sofsem2008.html#MorimotoSGC08 Shoichi Morimoto Jingde Cheng A Security Specification Library with a Schemaless Database. 890-893 2007 conf/iccS/2007-3 International Conference on Computational Science (3) https://doi.org/10.1007/978-3-540-72588-6_141 db/conf/iccS/iccS2007-3.html#MorimotoC07 Shoichi Morimoto A System Behavior Analysis Technique with Visualization of a Customer's Domain. 1099-1106 2007 conf/iccS/2007-2 International Conference on Computational Science (2) https://doi.org/10.1007/978-3-540-72586-2_154 db/conf/iccS/iccS2007-2.html#Morimoto07 Shoichi Morimoto Shinjiro Shigematsu Yuichi Goto Jingde Cheng Formal verification of security specifications with common criteria. 1506-1512 2007 conf/sac/2007 SAC https://doi.org/10.1145/1244002.1244325 db/conf/sac/sac2007.html#MorimotoSGC07 Daisuke Horie Shoichi Morimoto Jingde Cheng A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408. 797-804 2006 conf/iccS/2006-4 International Conference on Computational Science (4) https://doi.org/10.1007/11758549_107 db/conf/iccS/iccS2006-4.html#HorieMC06 Shoichi Morimoto Daisuke Horie Jingde Cheng A Security Requirement Management Database Based on ISO/IEC 15408. 1-10 2006 conf/iccsa/2006-3 ICCSA (3) https://doi.org/10.1007/11751595_1 db/conf/iccsa/iccsa2006-3.html#MorimotoHC06 Shoichi Morimoto Shinjiro Shigematsu Yuichi Goto Jingde Cheng A security specification verification technique based on the international standard ISO/IEC 15408. 1802-1803 2006 conf/sac/2006 SAC https://doi.org/10.1145/1141277.1141701 db/conf/sac/sac2006.html#MorimotoSGC06 Shoichi Morimoto Jingde Cheng Patterning Protection Profiles by UML for Security Specifications. 946-951 2005 conf/cimca/2005 CIMCA/IAWTIC db/conf/cimca/cimca2005-2.html#MorimotoC05 https://doi.org/10.1109/CIMCA.2005.1631590 https://doi.ieeecomputersociety.org/10.1109/CIMCA.2005.1631590 Takumi Endo Junichi Miura Koichi Nanashima Shoichi Morimoto Yuichi Goto Jingde Cheng Security in Persistently Reactive Systems. 874-883 2005 conf/euc/2005w EUC Workshops https://doi.org/10.1007/11596042_90 db/conf/euc/eucw2005.html#EndoMNMGC05 Noor Azimah Noor Sheila Azreen Jingde Cheng Takumi Endo Yuichi Goto Daisuke Horie Junichi Miura Takashi Miyamura Koichi Nanashima Shinjiro Shigematsu Shohei Suzuki Kenichi Yajima