Kenji Hisazumi
Kenji Hisazumi
確認したメール アドレス: slrc.kyushu-u.ac.jp - ホームページ
タイトル引用先
Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals.
T Kitasuka, K Hisazumi, T Nakanishi, A Fukuda
PSC, 47-53, 2005
312005
WiPS: Location and motion sensing technique of IEEE 802.11 devices
T Kitasuka, K Hisazumi, T Nakanishi, A Fukuda
Third International Conference on Information Technology and Applications …, 2005
262005
clooca: Web based tool for Domain Specific Modeling.
S Hiya, K Hisazumi, A Fukuda, T Nakanishi
Demos/Posters/StudentResearch@ MoDELS, 31-35, 2013
222013
A run-time power analysis method using OS-observable parameters for mobile terminals
Y Kaneda, T Okuhira, T Ishihara, K Hisazumi, T Kamiyama, M Katagiri
Proc. ICESIT 2010 (1), 1-6, 2010
152010
Development of a modeling education program for novices using model-driven development
S Akayama, S Kuboaki, H Kenji, T Futagami, T Kitasuka
2012 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2012, 4, 2013
132013
CAMPUS: A context-aware middleware
K Hisazumi, T Nakanishi, T Kitasuka, A Fukuda
The 2nd CREST Workshop on Advanced Computing and Communicating Techniques …, 2003
132003
Towards sustainable information infrastructure platform for smart mobility-project overview
A Fukuda, K Hisazumi, S Ishida, T Mine, T Nakanishi, H Furusho, ...
2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI …, 2016
92016
Formalization and model checking of sysml state machine diagrams by csp
T Ando, H Yatsu, W Kong, K Hisazumi, A Fukuda
International Conference on Computational Science and Its Applications, 114-127, 2013
92013
Formal verification of software designs in hierarchical state transition matrix with SMT-based bounded model checking
W Kong, N Katahira, M Watanabe, T Katayama, K Hisazumi, A Fukuda
2011 18th Asia-Pacific Software Engineering Conference, 81-88, 2011
92011
A software update scheme by airwaves for automotive equipment
T Nakanishi, HH Shih, K Hisazumi, A Fukuda
2013 International Conference on Informatics, Electronics and Vision (ICIEV …, 2013
82013
An Experience Report of Introducing Product Line Engineering across the Board.
T Iwasaki, M Uchiba, J Otsuka, K Hachiya, T Nakanishi, K Hisazumi, ...
SPLC Workshops, 255-258, 2010
82010
UDSS: Sensor device for context awareness in home network
T Matsuura, K Hisazumi, T Kitasuka, T Nakanishi, A Fukuda
2007 Fourth International Conference on Networked Sensing Systems, 196-200, 2007
82007
A structure of ac# framework ContextCS based on context-oriented programming
I Tanigawa, N Ogura, M Sugaya, H Watanabe, K Hisazumi
Companion Proceedings of the 14th International Conference on Modularity, 21-22, 2015
72015
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration
W Kong, L Liu, T Ando, H Yatsu, K Hisazumi, A Fukuda
The Computer Journal 58 (11), 2824-2840, 2014
72014
Translation rules of SysML state machine diagrams into CSP# toward formal model checking
T Ando, H Yatsu, W Kong, K Hisazumi, A Fukuda
International Journal of Web Information Systems 10 (2), 151-169, 2014
72014
Establishing traceability between requirements, design and operation information in lifecycle-oriented architecture
S Ishibashi, K Hisazumi, T Nakanishi, A Fukuda
2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI …, 2016
62016
Data gathering system for recommender system in tourism
G Hirakawa, G Satoh, K Hisazumi, Y Shibata
2015 18th International Conference on Network-Based Information Systems, 521-525, 2015
62015
A study of context-oriented programming for applying to robot development
H Watanabe, M Sugaya, I Tanigawa, N Ogura, K Hisazumi
Proceedings of the 7th International Workshop on Context-Oriented Programming, 4, 2015
62015
Small inexpensive core asset construction for large gainful product line development: developing a communication system firmware product line
J Otsuka, K Kawarabata, T Iwasaki, M Uchiba, T Nakanishi, K Hisazumi
Proceedings of the 15th International Software Product Line Conference …, 2011
62011
A Framework to Manage Uncertainty in System Development
T Nakanishi, L Ma, K Hisazumi, A Fukuda
IPSJ SIG Notes 2014 (6), 6, 2014
52014
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20