Naoshi Uchihira

According to our database, Naoshi Uchihira authored at least 43 papers between 1985 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Bayesian Optimization Methods for Inventory Control with Agent-Based Supply-Chain Simulator.

Takahiro Ogura, Haiyan Wang, Qiyao Wang, Atsuki Kiuchi, Chetan Gupta, Naoshi Uchihira

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., September, 2022

2021

Dialogue Tool for Value Creation in Digital Transformation: Roadmapping for Machine Learning Applications.

Naoshi Uchihira

Proceedings of the Advances in the Human Side of Service Engineering, 2021

Service Design Based on Customer Value Classification in IoT Systems.

Sadaaki Shinjo, Naoshi Uchihira

Proceedings of the Advances in the Human Side of Service Engineering, 2021

2020

Agricultural Knowledge Management Using Smart Voice Messaging Systems: Combination of Physical and Human Sensors.

Naoshi Uchihira, Masami Yoshida

CoRR, 2020

Smart SE: Smart Systems and Services Innovative Professional Education Program.

Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019

Balancing the trade-off between accuracy and interpretability in software defect prediction.

Toshiki Mori, Naoshi Uchihira

Empir. Softw. Eng., 2019

2018

Information Supervisory Control of Human Behavior - A Formal Model and Simulation.

Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

2017

Game theoretical modeling of information supervisory control.

Yasuo Sasaki, Naoshi Uchihira

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Model-based approach to analysis of human behavior with applications to nursing and caregiving services.

Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira

Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

Information supervisory control of human behavior - Experiments and formal modeling.

Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi

Proceedings of the 11th Asian Control Conference, 2017

2016

Innovation design and its verification & validation in the era of the Internet of Things.

Naoshi Uchihira

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

How can we get "lessons learned" from real cases?

Kenji Hisazumi, Shigeru Ishida, Mitsuhiro Matsuda, Yukihiro Mihara, Naoshi Uchihira

Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, 2016

2014

Improvement of Sharing of Observations and Awareness in Nursing and Caregiving by Voice Tweets.

Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi, Tetsuro Chino, Takanori Yamamoto, Satoko Tsuru

Proceedings of the Serviceology for Designing the Future, 2014

A Pilot Study in Using a Smart Voice Messaging System to Create a Reflection-in-Caregiving Workshop.

Taro Sugihara, Yuji Hirabayashi, Kentaro Torii, Tetsuro Chino, Naoshi Uchihira

Proceedings of the Universal Access in Human-Computer Interaction. Aging and Assistive Environments, 2014

Behavior modeling in physical and adaptive intelligent services.

Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira

Proceedings of the IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2014

2013

Speech Interaction Analysis on Collaborative Work at an Elderly Care Facility.

Tetsuro Chino, Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi

Int. J. Sociotechnology Knowl. Dev., 2013

Work and Speech Interactions among Staff at an Elderly Care Facility.

Tetsuro Chino, Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi

Proceedings of the Human Work Interaction Design. Work Analysis and HCI, 2013

2012

Modeling of complex processes in nursing and caregiving services.

Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

2010

Design for service innovation: a methodology for designing service as a business for manufacturing companies.

Sun K. Kim, Kosuke Ishii, Kurt A. Beiter, Naoshi Uchihira, Yuji Kyoya

Int. J. Serv. Technol. Manag., 2010

2008

Analysis and Design Methodology for Recognizing Opportunities and Difficulties for Product-based Services.

Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii

J. Inf. Process., 2008

2007

Future Direction and Roadmap of Concurrent System Technology.

Naoshi Uchihira

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

Analysis and Design Methodology for Product-Based Services.

Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii

Proceedings of the New Frontiers in Artificial Intelligence, 2007

2005

Making Reactive Systems Highly Reliable by Hypersequential Programming.

Naoshi Uchihira

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

An Optimization Method for Investment and Maintenance Planning of Power Plants under Uncertain Environments.

Keiichi Handa, Shigeru Matsumoto, Masashi Nakamoto, Naoshi Uchihira

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

2003

Foreword.

Naoshi Uchihira

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

2000

Scenario-Based Hypersequential Programming.

Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura

Int. J. Parallel Program., 2000

1999

Building Test Cases for Use in Hypersequential Programming.

Chris Rudram, Peter R. Croll, Naoshi Uchihira

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

1998

Engineering Safe, Real-Time Distributed Control Systems.

Peter R. Croll, Chris Rudram, Colin Chambers, Naoshi Uchihira

Proceedings of the 24th EUROMICRO '98 Conference, 1998

How to Make Concurrent Programs Highly Reliable- More than State Space Analysis.

Naoshi Uchihira

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Hypersequential programming: a new way to develop concurrent programs.

Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki

IEEE Concurrency, 1997

Scenario-Based Hypersequential Programming: Concept and Example.

Naoshi Uchihira, Hideji Kawata

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

Scenario-Based Hypersequential Programming: Formulation of Parallelization.

Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura

Proceedings of the High Performance Computing, International Symposium, 1997

1996

Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.

Naoshi Uchihira, Shinichi Honiden

J. Syst. Softw., 1996

MENDELS ZONE: A parallel program development system based on formal specifications.

Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira

Inf. Softw. Technol., 1996

Hypersequential programming - a novel paradigm for concurrent programming.

Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki

Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996

1994

An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.

Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh

IEEE Trans. Software Eng., 1994

PQL: Modal logic for compositional verification of concurrent programs.

Naoshi Uchihira

Syst. Comput. Jpn., 1994

1991

An integration environment to put formal specifications into practical use in real-time systems.

Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems.

Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh

Proceedings of the ESEC '91, 1991

1989

An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design.

Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai

Real Time Syst., 1989

1987

MENDELS: Concurrent Program Synthesis System Using Temporal Logic.

Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura

Proceedings of the Logic Programming '87, 1987

1986

MENDEL: Prolog Based Concurrent Object Oriented Language.

Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya

Proceedings of the Spring COMPCON'86, 1986

1985

Software Prototyping with MENDEL.

Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya

Proceedings of the Logic Programming '85, 1985