Masahiro Higuchi

J-GLOBAL         Last updated: Jan 10, 2019 at 18:39
 
Avatar
Name
Masahiro Higuchi
E-mail
higuchiinfo.kindai.ac.jp
Affiliation
Kindai University
Section
Faculty of Science and Engineering Department of Informatics
Research funding number
00238289

Research Areas

 
 

Published Papers

 
Takahiro Hashimoto, Toru Kato, Masahiro Higuchi
情報処理学会論文誌. プログラミング   6(2) 1-12   Aug 2013
We are investigating a way of modeling freight system in the Multiple Ambient Calculus (MAC) and the management systems ensuring the correctness of container handling during shipping using the model. Freight systems have nested structures, i.e., p...
Toru Kato, Masahiro Higuchi, Naoto Ueda
情報処理学会論文誌. 数理モデル化と応用   3(1) 73-86   Jan 2010
We present a variant of Ambient Logic to describe desired properties of freight systems and a model checking algorithm for the logic. In the field of distribution, the increase in cargo handling errors is a serious problem as the amount of freight...
MORIMOTO DAISUKE, KATO TORU, HIGUCHI MASAHIRO
情報処理学会論文誌. プログラミング   48(10) 151-164   Jun 2007
In the field of distribution, an increasing of the handling fault of luggage becomes serious problem while the amount of circulation of the freight increases. To solve the problem, we are researching on the constructing the distribution management...
MORI TAKANORI, TOKUDA KOHEI, TADA HARUMASA, HIGUCHI MASAHIRO, HIGASHINO TERUO
IPSJ Journal   42(12) 3072-3081   Dec 2001
In this paper, we propose a method to generate test sequences for communication protocols modeled as DFSM with timers. The test sequences can detect any single fault of timer commands or destination states in the transitions on protocol machines. ...
FUKADA ATSUSHI, MORI TAKANORI, NAKATA AKIO, KITAMICHI JUNJI, HIGUCHI MASAHIRO, HIGASHINO TERUO
IPSJ Journal   42(12) 3063-3071   Dec 2001
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (DFSMs). In those protocols, a common input may be taken by some of co...

Misc

 
Masahiro Higuchi
6(2)    Aug 2013
In this presentation, we propose the timed ambient calculus as an extention of the ambient calculus. The ambient calculus is a process algebra suitable for specifying systems, which contain dynamically changing nested structures. By the benefit of...
Kamada Takayuki, Higuchi Masahiro
10(1) 245-246   Sep 2011
Michibata Shinnosuke, Moriya Sen, Higuchi Masahiro
72(1) "1-491"-"1-492"   Mar 2010
Toshinobu Tsujimura, Masahiro Higuchi, Toru Kato
IPSJ SIG Notes   2010(35) 1-6   Feb 2010
We are investigating freight management systems ensuring the correctness of container handling during shipping. Such systems determine the correctness by comparing container handling, which is sensed by RFID, with transitions of formal models (for...
Toru Kato, Masahiro Higuchi, Naoto Ueda
IPSJ SIG Notes   2009(29) 1-6   Sep 2009
We present a variant of Ambient Logic to describe desired properties of freight systems and a model checking algorithm for the logic. In the field of distribution, the increase in cargo handling errors is a serious problem as the amount of freight...

Conference Activities & Talks

 
A File Naming Scheme using Hierachical Keywords
26th International Computer Software and Applications Conference(Compsac2002) (Oxford)   Aug 2002   26th International Computer Software and Applications Conference(Compsac2002) (Oxford)
Timed Ambient Calculus
Jan 2013   
2D-data partition on the Heterogeneous BSP model
The International Association of Science and Technology for Development (IASTED)   Nov 2003   The International Association of Science and Technology for Development (IASTED)