Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Naoshi Uchihira

dblp:91/4069 · DBLP profile ↗
← Back
9ranked-venue papers
1as first author
0since 2021 · last 2020
0000-0002-8107-089XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 4Human-computer interaction and ubiquitous computing · 3Systems, architecture and hardware · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Requirements engineering and software design · 50% Software maintenance and evolution · 50%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 77% Performance modeling and evaluation · 23%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Requirements engineering and software design › software design methodology
rapid prototyping
0.011994
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems · IEEE Trans. Software Eng. 1994
Software maintenance and evolution › software reuse
reusable software components
0.011994
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems · IEEE Trans. Software Eng. 1994
Embedded and real-time systems
real-time system design
0.011994
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems · IEEE Trans. Software Eng. 1994
Performance modeling and evaluation › performance diagnosis
performance bottleneck diagnosis
0.011994
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems · IEEE Trans. Software Eng. 1994

Methods — techniques the papers use, named apart from their topics

qualitative reasoning · 0.0prolog · 0.0planning · 0.0hybrid inference · 0.0expert system · 0.0
YearPublicationVenuePosition
2020 Smart SE: Smart Systems and Services Innovative Professional Education Program
abstract
The Smart Systems and Services Innovative Professional Education (Smart SE) program is a certification program developed as part of the education network for the Practical information Technologies (enPiT-Pro) project, which is funded by the Japan Ministry of Education, Culture, Sports, Science and Technology. The Smart SE program provides industry professionals working in fields related to information and communication technology (ICT) with additional training and education in smart systems and services that utilize various technologies such as IoT, Cloud, Big Data, and Artificial Intelligence (AI) for businesses. Here, we illustrate its purpose, curriculum and features to respond to the needs of industrial professional education.
Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira
COMPSAC9
2019 Balancing the trade-off between accuracy and interpretability in software defect prediction
Toshiki Mori, Naoshi Uchihira
Empir. Softw. Eng.2
2018 Information Supervisory Control of Human Behavior - A Formal Model and Simulation
abstract
The authors' group is developing an ICT-based system, called the smart voice messaging system, that assists working staff in cooperation, knowledge sharing, and recording observations. As an operation scheme for the system, we proposed the concept of information supervisory control (ISC) in our previous papers. In this scheme, there is a central commander, called the information supervisor, that provides a group of persons with appropriate information at an appropriate timing. In this paper, we show a formal model that simulates human decision making under ISC. The effectiveness of the model is validated by computer simulation.
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
SMC2
2017 Game theoretical modeling of information supervisory control
abstract
This paper provides a game theoretical characterization of information supervisory control problems. Information supervisory control deals with indirect control of human behavior by controlling information distribution. For an arbitrary game, we consider an agent outside the game called a supervisor. It can provide the players with information about the game, which results in change in their information structures and hence possible outcomes. The supervisor's controllability is defined as its ability to achieve the players' behaviors as intended. We present a general model and then analyze its particular class which we call state-dependent team collaborations. We discuss the possibility of information supervisor as a decision support system in such situations.
Yasuo Sasaki, Naoshi Uchihira
SMC2
2012 Modeling of complex processes in nursing and caregiving services
abstract
In 2010, JST/RISTEX in Japan started a new R&D program “Service Science, Solutions and Foundation Integrated Research Program”. The authors are engaged in a research project “Innovation for Service Space Communication by Voice Tweets in Nursing and Caring” selected by this program, and are developing a stress-free information assisting system based on smart voice messaging. By providing voice messaging environment optimized for current situation of nurses, the system helps nurses in their cooperation, knowledge sharing, and making work records, and as a result the system reduces various kinds of stresses associated with their work. To estimate the current situation of nurses, it is important to have detailed process models that describe working schedules and how they behave in various situations. Moreover, computer simulation based on the process models is useful for quantitative evaluation of the system. In this paper, we first analyze complex processes in nursing and caregiving services, and then propose a modeling architecture. An implementation based on object-oriented Petri nets is also presented.
Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka
SMC4
1996 MENDELS ZONE: A parallel program development system based on formal specifications
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
Inf. Softw. Technol.3
1996 Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE
Naoshi Uchihira, Shinichi Honiden
J. Syst. Softw.1
1994 An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems
abstract
The paper describes an application of artificial intelligence technology to the implementation of a rapid prototyping method in object-oriented performance design (OOPD) for real-time systems. OOPD consists of two prototyping phases for real-time systems. Each of these phases consists of three steps: prototype construction, prototype execution, and prototype evaluation. We present artificial intelligence based methods and tools to be applied to the individual steps. In the prototype construction step, a rapid construction mechanism using reusable software components is implemented based on planning. In the prototype execution step, a hybrid inference mechanism is used to execute the constructed prototype described in declarative knowledge representation. MENDEL, which is a Prolog based concurrent object-oriented language, can be used as a prototype construction tool and a prototype execution tool. In the prototype evaluation step, an expert system which is based on qualitative reasoning is implemented to detect and diagnose bottlenecks and generate an improvement plan for them.>
Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh
IEEE Trans. Software Eng.3
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.2