Naoshi Uchihira

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 13

Top Topics

Epistemological Beliefs

Inventory Control

Software Defect

Top Venues

Publications

Masahiro Watanabe, Naoshi Uchihira
Digital Business Model Analysis Using a Large Language Model. CoRR (2024)
Takahiro Ogura, Haiyan Wang, Qiyao Wang, Atsuki Kiuchi, Chetan Gupta, Naoshi Uchihira
Bayesian Optimization Methods for Inventory Control with Agent-Based Supply-Chain Simulator. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2022)
Naoshi Uchihira
Dialogue Tool for Value Creation in Digital Transformation: Roadmapping for Machine Learning Applications. AHFE (8) (2021)
Sadaaki Shinjo, Naoshi Uchihira
Service Design Based on Customer Value Classification in IoT Systems. AHFE (8) (2021)
Naoshi Uchihira, Masami Yoshida
Agricultural Knowledge Management Using Smart Voice Messaging Systems: Combination of Physical and Human Sensors. CoRR (2020)
Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira
Smart SE: Smart Systems and Services Innovative Professional Education Program. COMPSAC (2020)
Toshiki Mori, Naoshi Uchihira
Balancing the trade-off between accuracy and interpretability in software defect prediction. Empir. Softw. Eng. 24 (2) (2019)
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
Information Supervisory Control of Human Behavior - A Formal Model and Simulation. SMC (2018)
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
Model-based approach to analysis of human behavior with applications to nursing and caregiving services. GCCE (2017)
Yasuo Sasaki, Naoshi Uchihira
Game theoretical modeling of information supervisory control. SMC (2017)
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
Information supervisory control of human behavior - Experiments and formal modeling. ASCC (2017)
Naoshi Uchihira
Innovation design and its verification & validation in the era of the Internet of Things. GCCE (2016)
Kenji Hisazumi, Shigeru Ishida, Mitsuhiro Matsuda, Yukihiro Mihara, Naoshi Uchihira
How can we get "lessons learned" from real cases? WESE (2016)
Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira
Behavior modeling in physical and adaptive intelligent services. CogSIMA (2014)
Taro Sugihara, Yuji Hirabayashi, Kentaro Torii, Tetsuro Chino, Naoshi Uchihira
A Pilot Study in Using a Smart Voice Messaging System to Create a Reflection-in-Caregiving Workshop. HCI (6) (2014)
Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi, Tetsuro Chino, Takanori Yamamoto, Satoko Tsuru
Improvement of Sharing of Observations and Awareness in Nursing and Caregiving by Voice Tweets. ICServ (2014)
Tetsuro Chino, Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi
Speech Interaction Analysis on Collaborative Work at an Elderly Care Facility. Int. J. Sociotechnology Knowl. Dev. 5 (2) (2013)
Tetsuro Chino, Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi
Work and Speech Interactions among Staff at an Elderly Care Facility. HWID (2013)
Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka
Modeling of complex processes in nursing and caregiving services. SMC (2012)
Sun K. Kim, Kosuke Ishii, Kurt A. Beiter, Naoshi Uchihira, Yuji Kyoya
Design for service innovation: a methodology for designing service as a business for manufacturing companies. Int. J. Serv. Technol. Manag. 13 (1/2) (2010)
Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii
Analysis and Design Methodology for Recognizing Opportunities and Difficulties for Product-based Services. Inf. Media Technol. 3 (3) (2008)
Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii
Analysis and Design Methodology for Recognizing Opportunities and Difficulties for Product-based Services. J. Inf. Process. 16 (2008)
Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii
Analysis and Design Methodology for Product-Based Services. JSAI (2007)
Naoshi Uchihira
Future Direction and Roadmap of Concurrent System Technology. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2007)
Keiichi Handa, Shigeru Matsumoto, Masashi Nakamoto, Naoshi Uchihira
An Optimization Method for Investment and Maintenance Planning of Power Plants under Uncertain Environments. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2005)
Naoshi Uchihira
Making Reactive Systems Highly Reliable by Hypersequential Programming. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (4) (2005)
Naoshi Uchihira
Foreword. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2003)
Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura
Scenario-Based Hypersequential Programming. Int. J. Parallel Program. 28 (2) (2000)
Chris Rudram, Peter R. Croll, Naoshi Uchihira
Building Test Cases for Use in Hypersequential Programming. PDSE (1999)
Peter R. Croll, Chris Rudram, Colin Chambers, Naoshi Uchihira
Engineering Safe, Real-Time Distributed Control Systems. EUROMICRO (1998)
Naoshi Uchihira
How to Make Concurrent Programs Highly Reliable- More than State Space Analysis. ACSD (1998)
Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura
Scenario-Based Hypersequential Programming: Formulation of Parallelization. ISHPC (1997)
Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
Hypersequential programming: a new way to develop concurrent programs. IEEE Concurrency 5 (3) (1997)
Naoshi Uchihira, Hideji Kawata
Scenario-Based Hypersequential Programming: Concept and Example. PDSE (1997)
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
MENDELS ZONE: A parallel program development system based on formal specifications. Inf. Softw. Technol. 38 (3) (1996)
Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
Hypersequential programming - a novel paradigm for concurrent programming. Software Engineering for Parallel and Distributed Systems (1996)
Naoshi Uchihira, Shinichi Honiden
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. J. Syst. Softw. 33 (3) (1996)
Naoshi Uchihira, Shinichi Honiden
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. HICSS (2) (1995)
Naoshi Uchihira
PQL: Modal logic for compositional verification of concurrent programs. Systems and Computers in Japan 25 (1) (1994)
Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. IEEE Trans. Software Eng. 20 (11) (1994)
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
An integration environment to put formal specifications into practical use in real-time systems. IWSSD (1991)
Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh
An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. ESEC (1991)
Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai
An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design. Real Time Syst. 1 (4) (1989)
Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura
MENDELS: Concurrent Program Synthesis System Using Temporal Logic. LP (1987)
Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
MENDEL: Prolog Based Concurrent Object Oriented Language. COMPCON (1986)
Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
Software Prototyping with MENDEL. LP (1985)