年別の研究成果
年別の研究成果
- 10 件
検索結果
-
2020
A predictive model for height tracking in an adult male population in bangladesh to reduce input errors
Hasan, M., Ahmed, A., Yokota, F., Islam, R., Hisazumi, K. & Fukuda, A., 2020 3月 1, In: International Journal of Environmental Research and Public Health. 17, 5, 1806.研究成果: Article › 査読
Open Access3 被引用数 (Scopus) -
Travel behavior of SME employees in their work commute in emerging cities: A case study in Dhaka City, Bangladesh
Abedin, N., Rahman, M. M., Hossain, M. I., Hisazumi, K. & Ahmed, A., 2020 12月 2, In: Sustainability (Switzerland). 12, 24, p. 1-16 16 p., 10337.研究成果: Article › 査読
Open Access3 被引用数 (Scopus) -
2018
Object-oriented context description for movie based context-aware language learning
Hazriani, Nakanishi, T., Hisazumi, K. & Fukuda, A., 2018, In: International Journal of Advanced Computer Science and Applications. 9, 4, p. 350-357 8 p.研究成果: Article › 査読
Open Access -
2016
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC
Kong, W., Hou, G., Hu, X., Ando, T., Hisazumi, K. & Fukuda, A., 2016 12月 1, In: Journal of Information Security and Applications. 31, p. 61-74 14 p.研究成果: Article › 査読
9 被引用数 (Scopus) -
2015
Power Consumption Profiling Method Based on Android Application Usage
Furusho, H., Hisazumi, K., Kamiyama, T., Inamura, H., Nakanishi, T. & Fukuda, A., 2015, In: Lecture Notes in Electrical Engineering. 339, p. 891-898 8 p.研究成果: Article › 査読
3 被引用数 (Scopus) -
2014
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration
Kong, W., Liu, L., Ando, T., Yatsu, H., Hisazumi, K. & Fukuda, A., 2014 8月 11, In: Computer Journal. 58, 11, p. 2824-2840 17 p.研究成果: Article › 査読
15 被引用数 (Scopus) -
Translation rules of SysML state machine diagrams into CSP# toward formal model checking
Ando, T., Yatsu, H., Kong, W., Hisazumi, K. & Fukuda, A., 2014 6月 1, In: International Journal of Web Information Systems. 10, 2, p. 151-169 19 p.研究成果: Article › 査読
9 被引用数 (Scopus) -
2013
A model transformation method for evaluation of non-functional requirements of an embedded system architecture
Kawahara, R., Ono, K., Nakada, T., Okabayashi, H., Hisazumi, K., Nakanishi, T., Fukuda, A., Sakamoto, Y. & Nagano, T., 2013 2月, In: Computer Software. 30, 1, p. 203-210 8 p.研究成果: Article › 査読
-
2011
Applying domain specific modeling for environmental sensing using wireless sensor network
Fajar, M., Hisazumi, K., Nakanishi, T. & Fukuda, A., 2011, In: Asian Journal of Information Technology. 10, 7, p. 296-305 10 p.研究成果: Article › 査読
Open Access1 被引用数 (Scopus) -
2010
FRM Model: An asset representation for software product lines
Hattori, Y., Hirakawa, G., Ashihara, S., Nakanishi, T., Hisazumi, K. & Fukuda, A., 2010 3月, In: Research Reports on Information Science and Electrical Engineering of Kyushu University. 15, 1, p. 37-42 6 p.研究成果: Article › 査読