Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDAkira Fukuda
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[c144]Yuki Hori, Takahiro Ando, Akira Fukuda:
Personal Identification Methods Using Footsteps of One Step. ICAIIC 2020: 73-78- [c143]Wentao Tang, Hao Feng, Kenji Hisazumi, Akira Fukuda:
A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre. ICISS 2020: 166-170 - [c142]Tsuneo Nakanishi, Yutaka Arakawa, Takahiro Ando, Shigemi Ishida, Kenji Hisazumi, Tsunenori Mine, Akira Fukuda:
An Inter-Organizational Software Architecture for Smart Mobility. ICSIE 2020: 41-46 - [c141]Masato Uchino, Billy Dawton, Yuki Hori, Shigemi Ishida, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda:
Initial Design of Two-Stage Acoustic Vehicle Detection System for High Traffic Roads. PerCom Workshops 2020: 1-6 - [c140]Takahiro Yamamoto, Shigemi Ishida, Ryota Kimoto, Shigeaki Tagashira, Akira Fukuda:
Design Of Ble 2-Step Separate Channel Fingerprinting. VTC Spring 2020: 1-6
2010 – 2019
- 2019
- [j33]Israel Mendonça, Antoine Trouvé, Akira Fukuda, Kazuaki J. Murakami:
On Clustering Algorithms: Applications in Word-Embedding Documents. J. Comput. 14(2): 88-92 (2019) - [j32]Shun Kurihara, Shoki Fukuda, Takeshi Kamiyama, Akira Fukuda, Masato Oguchi, Saneyasu Yamaguchi:
Estimation of Power Consumption of Each Application Considering Software Dependency in Android. J. Inf. Process. 27: 221-232 (2019) - [j31]Tsubasa Murakami, Takeshi Kamiyama, Akira Fukuda, Masato Oguchi, Saneyasu Yamaguchi:
BET Estimation on Power Saving by Intermittent Disabling Network Interface on Android. J. Inf. Process. 27: 671-681 (2019) - [j30]Zizheng Zhang, Shigemi Ishida
, Shigeaki Tagashira, Akira Fukuda:
Danger-Pose Detection System Using Commodity Wi-Fi for Bathroom Monitoring. Sensors 19(4): 884 (2019) - [j29]Ryota Kimoto, Shigemi Ishida, Takahiro Yamamoto, Shigeaki Tagashira, Akira Fukuda:
MuCHLoc: Indoor ZigBee Localization System Utilizing Inter-Channel Characteristics. Sensors 19(7): 1645 (2019) - [c139]Zhen Wang, Kai Li, Yan Hu, Akira Fukuda, Weiqiang Kong:
Multilevel Permission Extraction in Android Applications for Malware Detection. CITS 2019: 1-5 - [c138]Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, Akira Fukuda:
From Local to Global Semantic Clone Detection. DSA 2019: 13-24 - [c137]Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda:
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs. DSA 2019: 25-36 - [c136]Masuda Begum Sampa, Md. Nazmul Hossain, Md. Rakibul Hoque, Rafiqul Islam Maruf, Fumihiko Yokota, Mariko Nishikitani, Akira Fukuda, Ashir Ahmed:
A Framework of Longitudinal Study to Understand Determinants of Actual Use of the Portable Health Clinic System. HCI (22) 2019: 323-332 - [c135]Go Hirakawa, Daisuke Ikeda, Kenji Hisazumi, Akira Fukuda:
Development of the Food Culture Database System using Kataribe Cloud to Support Open Science. IIAI-AAI 2019: 391-394 - [c134]Shigemi Ishida, Masato Uchino, Chengyu Li, Shigeaki Tagashira, Akira Fukuda:
Design of Acoustic Vehicle Detector with Steady-Noise Suppression. ITSC 2019: 2848-2853 - [c133]Fumiya Tanaka, Kenji Hisazumi, Akira Fukuda:
DFEAM: Dynamic Feature-oriented Energy-aware Adaptive Modeling. MODELSWARD 2019: 290-297 - [c132]Masato Uchino, Shigemi Ishida, Kazuo Kubo, Shigeaki Tagashira, Akira Fukuda:
Initial Design of Acoustic Vehicle Detector with Wind Noise Suppressor. PerCom Workshops 2019: 814-819 - [c131]Masahiko Miyazaki, Shigemi Ishida, Akira Fukuda, Tomoki Murakami, Shinya Otsuki:
Initial Attempt on Outdoor Human Detection using IEEE 802.11ac WLAN Signal. SAS 2019: 1-6 - [c130]Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda:
Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. TASE 2019: 113-120 - 2018
- [j28]Hua Chen, Antoine Trouvé, Kazuaki J. Murakami, Akira Fukuda:
Semantic image retrieval for complex queries using a knowledge parser. Multim. Tools Appl. 77(9): 10733-10751 (2018) - [j27]Guoqiang Li, Li Liu, Akira Fukuda:
Asynchronous multi-process timed automata. Softw. Qual. J. 26(3): 961-989 (2018) - [c129]Congcong Ye, Guoqiang Li, Hongming Cai, Yonggen Gu, Akira Fukuda:
Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting. DSA 2018: 15-24 - [c128]Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto:
Verification Model Translation Method toward Behavior Model for CAST. DSA 2018: 142-147 - [c127]Kazuhiro Kikuma, Takeshi Yamada, Kiyoshi Ueda, Akira Fukuda:
Automatic Test Case Generation Method for Large Scale Communication Node Software. EIDWT 2018: 492-503 - [c126]Israel Mendonça, Antoine Trouvé, Akira Fukuda, Kazuaki J. Murakami:
Exploring a Topical Representation of Documents for Recommendation Systems. iCAST 2018: 73-78 - [c125]Ryota Kimoto, Takahiro Yamamoto, Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda:
Evaluation of MultiZigLoc: Indoor ZigBee Localization System Using Inter-Channel Characteristics. ICMU 2018: 1-6 - [c124]Akira Fukuda, Tsuneo Nakanishi, Kenji Hisazumi, Kunihiko Kaneko, Shigeaki Tagashira, Tsunenori Mine, Yutaka Arakawa, Shigemi Ishida, Takahiro Ando, Shuichi Ashihara, Masakatsu Ura, Yoshimichi Nakamura, Soichiro Nakamura, Weiqiang Kong, Guoqiang Li:
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -. IIAI-AAI 2018: 81-85 - [c123]Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda:
Analysis of Interrupt Behavior Based on Probabilistic Model Checking. IIAI-AAI 2018: 86-91 - [c122]Takahiro Ando, Ryo Fujii, Kenji Hisazumi, Tsunenori Mine, Tsuneo Nakanishi, Akira Fukuda:
Overview and Application Examples of Agent-Based Unified Simulation Environment. IIAI-AAI 2018: 92-97 - [c121]Hiromasa Inoki, Kenji Hisazumi, Takahiro Ando, Akira Fukuda, Tsuneo Nakanishi:
A Process of Uncertainty Handling Method to Smart Mobility Application Development. IIAI-AAI 2018: 98-103 - [c120]Tsunenori Mine, Shiro Mise, Hiroyuki Nakamura, Takuya Hiraoki, Shiori Koga, Takahiro Ando, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda:
ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility. IIAI-AAI 2018: 109-114 - [c119]Tsuneo Nakanishi, Kenji Hisazumi, Takahiro Ando, Tsunenori Mine, Akira Fukuda:
Software Engineering Practices for the Smart Mobility Market. IIAI-AAI 2018: 115-120 - [c118]Shigemi Ishida, Sou Takaki, Takahiro Yamamoto, Shigeaki Tagashira, Akira Fukuda:
Evaluation of BLE Separate Channel Fingerprinting in Practical Environment. IIAI-AAI 2018: 121-124 - [c117]Kun Liu, Weiqiang Kong, Gang Hou, Akira Fukuda:
A Survey of Formal Techniques for Hardware/Software Co-verification. IIAI-AAI 2018: 125-128 - [c116]Shigemi Ishida, Jumpei Kajimura, Masato Uchino, Shigeaki Tagashira, Akira Fukuda:
SAVeD: Acoustic Vehicle Detector with Speed Estimation capable of Sequential Vehicle Detection. ITSC 2018: 906-912 - [c115]Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda:
Teaching software product lines as a paradigm to engineers: an experience report in education programs and seminars for senior engineers in Japan. SPLC (2) 2018: 46-47 - 2017
- [j26]Hua Chen, Antoine Trouvé, Kazuaki J. Murakami, Akira Fukuda:
An intelligent annotation-based image retrieval system based on RDF descriptions. Comput. Electr. Eng. 58: 537-550 (2017) - [c114]Takahiro Yamamoto, Shigemi Ishida, Kousaku Izumi, Shigeaki Tagashira, Akira Fukuda:
Accuracy improvement in sensor localization system utilizing heterogeneous wireless technologies. ICMU 2017: 1-6 - 2016
- [j25]Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda:
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC. J. Inf. Secur. Appl. 31: 61-74 (2016) - [c113]Shigemi Ishida, Yosuke Kunihiro, Kousaku Izumi, Shigeaki Tagashira, Akira Fukuda:
Design of WiFi-AP operating channel estimation scheme for sensor node. ICMU 2016: 1-6 - [c112]Akira Fukuda, Kenji Hisazumi, Shigemi Ishida, Tsunenori Mine, Tsuneo Nakanishi, Hiroki Furusho, Shigeaki Tagashira, Yutaka Arakawa, Kunihiko Kaneko, Weiqiang Kong:
Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview. IIAI-AAI 2016: 211-214 - [c111]Shigemi Ishida, Yoko Takashima, Shigeaki Tagashira, Akira Fukuda:
Proposal of Separate Channel Fingerprinting Using Bluetooth Low Energy. IIAI-AAI 2016: 230-233 - [c110]Shota Ishibashi, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda:
Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture. IIAI-AAI 2016: 234-239 - [c109]Ryoya Wada, Shigeaki Tagashira, Masaki Ogino, Shigemi Ishida, Akira Fukuda:
A Privacy-Aware User Tracking System Using Footprint Data Measured across Multiple Pressure Sensor Sheets. IIAI-AAI 2016: 240-243 - [c108]Tsuneo Nakanishi, Hiroki Furusho, Kenji Hisazumi, Akira Fukuda:
Dynamic SPL and Derivative Development with Uncertainty Management for DevOps. IIAI-AAI 2016: 244-249 - [c107]Jumpei Kajimura, Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda:
Design of Distributed Calculation Scheme Using Network Address Translation for Ad-hoc Wireless Positioning Network. ISIP 2016: 33-48 - [c106]Takeshi Kamiyama, Kenji Hisazumi, Hiroshi Inamura, Teppei Konishi, Ken Ohta, Akira Fukuda:
Smartphone Usage Analysis Based on Actual-Use Survey. MobiCASE 2016: 108-116 - [c105]Nuren Abedin, Jecinta Kamau, Hironobu Kitaoka, Hiroshi Okajima, Masaharu Okada, Akira Fukuda, Ashir Ahmed:
Providing safe and affordable transportation to reduce female students dropout: A case study on college girls in rural Bangladesh. SMC 2016: 4130-4134 - [c104]Hazriani, Tsuneo Nakanishi, Akira Fukuda:
Introducing the case grammar concept to object-oriented movie context description. TALE 2016: 244-248 - 2015
- [j24]Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda:
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. Comput. J. 58(11): 2824-2840 (2015) - [c103]Shigemi Ishida, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda:
On-demand Indoor Location-Based Service Using Ad-hoc Wireless Positioning Network. HPCC/CSS/ICESS 2015: 1005-1013 - [c102]Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda:
AP-assisted CTS-blocking for WiFi-ZigBee Coexistence. CANDAR 2015: 110-114 - [c101]Kousaku Izumi, Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda:
Design of WiFi AP-RSS Monitoring System Using Sensor Nodes. CANDAR 2015: 115-121 - [c100]Shigemi Ishida, Kousaku Izumi, Shigeaki Tagashira, Akira Fukuda:
WiFi AP-RSS Monitoring Using Sensor Nodes toward Anchor-Free Sensor Localization. VTC Fall 2015: 1-5 - 2014
- [j23]Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi:
A formal semantics of extended hierarchical state transition matrices using CSP#. Formal Aspects Comput. 26(5): 943-962 (2014) - [j22]Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda:
Translation rules of SysML state machine diagrams into CSP# toward formal model checking. Int. J. Web Inf. Syst. 10(2): 151-169 (2014) - [c99]Yutaka Arakawa, Yuki Sonoda, Koki Tomoshige, Shigeaki Tagashira, Akira Fukuda:
Implementation of WiFi/Bluetooth-based Smart Narrow Field Communication. ICMU 2014: 91-92 - [c98]Hazriani, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda:
Movie Based Context-Aware Language Learning: Its Concept and System. T4E 2014: 164-167 - [c97]Shigemi Ishida, Koki Tomishige, Akira Izumi, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda:
Implementation of On-Demand Indoor Location-Based Service Using Ad Hoc Wireless Positioning Network. UIC/ATC/ScalCom 2014: 34-41 - 2013
- [j21]Tatsuya Abe, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda:
Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks. J. Inf. Process. 21(2): 320-328 (2013) - [j20]Kazuki Fukuoka, Noriaki Maeda, Koji Nii, Masaki Fujigaya, Noriaki Sakamoto, Takao Koike, Takahiro Irita, Kohei Wakahara, Tsugio Matsuyama, Keiji Hasegawa, Toshiharu Saito, Akira Fukuda, Kaname Teranishi, Takeshi Kataoka, Toshihiro Hattori:
Power-Management Features of R-Mobile U2, an Integrated Application Processor and Baseband Processor. IEEE Micro 33(6): 26-36 (2013) - [c96]Tatsuhiko Nakano, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda, Riadh Dhaou:
Proposal and Implementation of Encounter Data Transmission with Ultrasonic Sensor-Based Active Wakeup Mechanism for Energy Efficient Sparse Wireless Sensor Network. AINA Workshops 2013: 393-400 - [c95]Ryosuke Kubota, Shigeaki Tagashira, Yutaka Arakawa, Teruaki Kitasuka, Akira Fukuda:
Efficient Survey Database Construction Using Location Fingerprinting Interpolation. AINA 2013: 469-476 - [c94]Naoki Miwa, Shigeaki Tagashira, Hiroaki Matsuda, Takanori Tsutsui, Yutaka Arakawa, Akira Fukuda:
A Multilateration-based Localization Scheme for Adhoc Wireless Positioning Networks Used in Information-oriented Construction. AINA 2013: 690-695 - [c93]Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda:
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. APSEC (1) 2013: 355-362 - [c92]Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda:
Formalization and Model Checking of SysML State Machine Diagrams by CSP#. ICCSA (3) 2013: 114-127 - [c91]Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi:
Towards Formal Description of Standards for Automotive Operating Systems. ICST Workshops 2013: 13-14 - [c90]Masaki Fujigaya, Noriaki Sakamoto, Takao Koike, Takahiro Irita, Kohei Wakahara, Tsugio Matsuyama, Keiji Hasegawa, Toshiharu Saito, Akira Fukuda, Kaname Teranishi, Kazuki Fukuoka, Noriaki Maeda, Koji Nii, Takeshi Kataoka, Toshihiro Hattori:
A 28nm High-κ metal-gate single-chip communications processor with 1.5GHz dual-core application processor and LTE/HSPA+-capable baseband processor. ISSCC 2013: 156-157 - [c89]Seiko Akayama, Kenji Hisazumi, Syuhei Hiya, Akira Fukuda:
Using Model-Driven Development Tools for Object-Oriented Modeling Education. EduSymp@MoDELS 2013 - [c88]Shuhei Hiya, Kenji Hisazumi, Akira Fukuda, Tsuneo Nakanishi:
clooca : Web based tool for Domain Specific Modeling. Demos/Posters/StudentResearch@MoDELS 2013: 31-35 - [c87]Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda:
mockSensor: faking remote sensors as embedded sensors for a functional enhancement of Android. SenSys 2013: 66:1-66:2 - 2012
- [j19]Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi:
Formal semantics of extended hierarchical state transition matrix by CSP. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - [c86]Yutaka Arakawa, Yuki Sonoda, Shigeaki Tagashira, Akira Fukuda:
WiFiTag: Direct Link from the Real World to Online Digital Contents. 3PGCIC 2012: 339-344 - [c85]Leyuan Liu, Weiqiang Kong, Shijie Zhou, Zhiguang Qin, Akira Fukuda:
Formal Verification of Communicating HSTM Designs. CIT 2012: 383-390 - [c84]Yutaka Arakawa, Yuta Tanaka, Shigeaki Tagashira, Akira Fukuda:
Local Cloud Storage: Temporal Local File Sharing with Previously Paired Wireless Memories and Cross-Layer Simultaneous Data Transmission Mechanism. CIT 2012: 640-646 - [c83]Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda:
On Accelerating SMT-based Bounded Model Checking of HSTM Designs. APSEC 2012: 614-623 - [c82]Tatsuya Abe, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda:
A Mobile Sink-initiated Proactive Routing Protocol for Deadline-Aware Data Aggregation Method in Energy-Efficient Wireless Sensor Networks. ARCS Workshops 2012: 51-62 - [c81]Tomohiro Iwamoto, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda:
A Robust Generation Technique of Common Information Based on Characteristic of Multipath Fading Channel by Shaking Handheld Devices. ARCS Workshops 2012: 99-110 - [c80]Shota Ishikawa, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda:
Hot Topic Detection in Local Areas Using Twitter and Wikipedia. ARCS Workshops 2012: 165-174 - [c79]Eiji Aoki, Ken Kudo, Akira Fukuda, Tsuneo Nakanishi, Shigeaki Tagashira, Takashi Okayasu, Naoyuki Tsuruda, Satoru Yamasaki, Yasuhito Imura:
Study on Knowledge Management Platform about the Field of Agricultural Infomatization. CISIS 2012: 705-710 - [c78]Rina Nagano, Hiroki Nakamura, Yasutaka Kamei, Bram Adams, Kenji Hisazumi, Naoyasu Ubayashi, Akira Fukuda:
Using the GPGPU for scaling up Mining Software Repositories. ICSE 2012: 1435-1436 - [c77]Ming Li, Long Han, Weiqiang Kong, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda:
A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems. IPIN 2012: 1-9 - [c76]Hiroki Nakamura, Rina Nagano, Kenji Hisazumi, Yasutaka Kamei, Naoyasu Ubayashi, Akira Fukuda:
QORAL: An External Domain-Specific Language for Mining Software Repositories. IWESEP 2012: 23-29 - [c75]Hiroki Furusho, Kenji Hisazumi, Takeshi Kamiyama, Hiroshi Inamura, Tsuneo Nakanishi, Akira Fukuda:
Poster: an energy profiler for android applications used in the real world. MobiSys 2012: 517-518 - 2011
- [j18]Shigeaki Tagashira, Yuhei Kanekiyo, Yutaka Arakawa, Teruaki Kitasuka, Akira Fukuda:
Collaborative Filtering for Position Estimation Error Correction in WLAN Positioning Systems. IEICE Trans. Commun. 94-B(3): 649-657 (2011) - [j17]Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda:
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Trans. Inf. Syst. 94-D(5): 946-957 (2011) - [j16]Shigeaki Tagashira, Yutaka Kaminishi, Yutaka Arakawa, Teruaki Kitasuka, Akira Fukuda:
Probabilistic Broadcast-Based Cache Invalidation Scheme for Location Dependent Data in Mobile Environments. IEICE Trans. Inf. Syst. 94-D(8): 1590-1601 (2011) - [c74]Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda:
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC 2011: 81-88 - [c73]Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda:
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. ICCSA Workshops 2011: 159-167 - [c72]Tadashi Nagano, Yoshifumi Sakamoto, Satoshi Haraguchi, Hironori Takeuchi, Shiho Ogino, Akira Fukuda:
Critiquing Rules and Quality Quantification of Development-Related Documents. IWSM/Mensura 2011: 30-37 - [c71]Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda:
Spatial Statistics with Three-Tier Breadth First Search for Analyzing Social Geocontents. KES (4) 2011: 252-260 - 2010
- [c70]Hiroaki Ota, Takeshi Hashimoto, Yohei Nagakura, Shuhei Takamura, Akira Fukuda, Masamu Aniya, Nozomu Naito, Hiroyuki Enomoto, Shin Sugiyama, Pedro Skvarca:
Application to glacier observation of high-precision three-dimensional position measurement using cameras. Humans and Computers 2010: 195-202 - [c69]Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe:
An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. ICCSA Workshops 2010: 231-238 - [c68]Yusuke Hattori, Go Hirakawa, Shuichi Ashihara, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda:
Traceability Link for Product Line with RAS based Representation. Software Engineering Research and Practice 2010: 105-110 - [c67]Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda:
Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice 2010: 507-513 - [c66]Takashi Horikawa, Akira Fukuda:
A method for analysis and solution of scalability bottleneck in DBMS. SoICT 2010: 139-146 - [c65]Takashi Iwasaki, Makoto Uchiba, Jun Otsuka, Koji Hachiya, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda:
An Experience Report of Introducing Product Line Engineering across the Board. SPLC Workshops 2010: 255-258
2000 – 2009
- 2009
- [j15]Takeaki Koga, Shigeaki Tagashira, Teruaki Kitasuka, Tsuneo Nakanishi, Akira Fukuda:
Multipoint Relay Selections with QoS Support in Link State Routing Protocol for Multi-Hop Wireless Networks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(9): 2218-2226 (2009) - [c64]Atsushi Noda, Teruaki Kitasuka, Shigeaki Tagashira, Tsuneo Nakanishi, Akira Fukuda:
Name Resolution Middleware Using Relative Positional Relationship to Support Wireless Visible Area Communication. AINA 2009: 443-450 - [c63]Noriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoichi Omori, Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, Hiroto Yasuura, Teruaki Kitasuka:
Large Scale Business-academia Collaboration in Master Education Course. CSEDU (2) 2009: 159-166 - [c62]Kiyoshi Ueda, Hitoshi Shimizu, Tetsuya Iwata, Hiroshi Sunaga, Akira Fukuda:
SIP method escalation algorithm for NGN application network interface. ICT 2009: 77-81 - [c61]Takeaki Koga, Shigeaki Tagashira, Teruaki Kitasuka, Tsuneo Nakanishi, Akira Fukuda:
Highly efficient multipoint relay selections in link state QoS routing protocol for multi-hop wireless networks. WOWMOM 2009: 1-9 - 2007
- [j14]Kenya Sato, Takahiro Koita, Akira Fukuda:
Broadcasted Location-Aware Data Cache for Vehicular Application. EURASIP J. Embed. Syst. 2007 (2007) - [c60]Tetsuya Manabe, Takaaki Hasegawa, Yoshihiro Matsuoka, Seiji Furukawa, Akira Fukuda:
On the M-CubITS Pedestrian WYSIWYAS Navigation Using Tile Carpets. ITSC 2007: 879-884 - [c59]Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido:
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. QSIC 2007: 137-142 - 2006
- [j13]Bo Li, Roberto Battiti, Akira Fukuda:
Performance analysis of a service-dependent handoff scheme in voice/data integrated cellular mobile systems. Comput. Networks 50(5): 707-730 (2006) - [c58]Kenya Sato, Akira Fukuda, Takahiro Koita, Yusuke Inoue:
Heuristic Scheduling and Process Migration on the Grid. GCA 2006: 68-74 - 2005
- [c57]Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda:
Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals. PSC 2005: 47-53 - [c56]Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda:
WiPS: Location and Motion Sensing Technique of IEEE 802.11 Devices. ICITA (2) 2005: 346-349 - [c55]Hideki Shimada, Teruaki Kitasuka, Akira Fukuda, Hideki Sunahara:
Access Point Determination Method Considering Route Stability on the Hybrid Ad-hoc Network. ICWN 2005: 348-356 - [c54]Hiroshi Mineno, Kazuo Hida, Miho Mizutani, Naoto Miyauchi, Kazuhiro Kusunoki, Akira Fukuda, Tadanori Mizuno:
Position Estimation for Goods Tracking System Using Mobile Detectors. KES (1) 2005: 431-437 - [c53]Yusuke Inoue, Takahiro Koita, Akira Fukuda:
Heuristic Scheduling Schemes for a Genomic Application on the Grid. PDPTA 2005: 244-248 - 2004
- [j12]Noritaka Ishizumi, Keizo Saisho, Akira Fukuda:
A design of flash memory file system for embedded systems. Systems and Computers in Japan 35(1): 91-100 (2004) - [c52]Tsuneo Nakanishi, Minoru Hatamoto, Michihiro Matsumoto, Susumu Yamazaki, Teruaki Kitasuka, Akira Fukuda:
Product Line Based Component Unification and Exploiting Unified Components in FORM. APSEC 2004: 559-563 - [c51]Yasuyo Kofune, Takahiro Koita, Akira Fukuda:
Performance Evaluation of MPI-HMMER on the OBIGrid. PDPTA 2004: 476-480 - [c50]Koya Imanishi, Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda:
Design of a Context-aware Message Exchange System in an Ad-hoc Network. PDPTA 2004: 1142-1146 - 2003
- [c49]