Advanced search: Search from
Select basic information for advanced search
| Free word |
|---|
| Details |   |
|---|---|
| Related links |  |
| Search |  |
Rchr
J-GLOBAL ID：201401008954779016
Update date: Sep. 14, 2024 Higuchi Masahiro
ヒグチ マサヒロ | Higuchi Masahiro
ClipsPapers (23)
- 加藤暢, 山田瞭太, 鳥山颯斗, 大倉亮介, 樋口昌宏. 多重Ambient Calculusのための統合開発環境. 情報処理学会論文誌 数理モデル化と応用. 2021. 14. 1. 21-32
- 加藤暢, 高岡久裕, 樋口昌宏, 大山博史. 多重 Ambient Calculus を用いた動的な海上物流計画に対するモデル検査. 情報処理学会論文誌 数理モデル化と応用. 2018. 11. 3. 84-99
- Hybrid Timed Ambient Calculus for Logistics Specification. 2017. 10. 4. 12-27
- Toru Kato, Manami Shimazu, Masahiro Higuchi, Hiroshi Ohyama. Integrated development environment for the multiple ambient calculus for modeling freight systems. IEEE International Conference on Automation Science and Engineering. 2016. 2016-. 367-372
- Toru Kato, Atom Miyai, Masahiro Higuchi. Experiment of a Freight Management System with the Multiple Ambient Calculus. 2015 Second International Conference on Mathematics and Computers in Sciences and in Industry (MCSI). 2015. 191-198
- Toru Kato, Atom Miyai, Masahiro Higuchi. IDE for the Ambient Calculus in Distributed Environments. 2014 INTERNATIONAL CONFERENCE ON INDUSTRIAL AUTOMATION, INFORMATION AND COMMUNICATIONS TECHNOLOGY (IAICT). 2014. 83-89
- Takahiro Hashimoto, Toru Kato, Masahiro Higuchi. A Handling Management System for Freight with the Multiple Ambient Calculus and UHF RFID Tags. 情報処理学会論文誌. プログラミング. 2013. 6. 2. 1-12
- 樋口 昌宏, 森田 哲平, 加藤 暢. 多重Ambient Calculusによる物流記述に対する弱双模倣等価性を用いたモデル検査. 情報処理学会論文誌 プログラミング. 2012. 5. 3. 50-60
- 樋口 昌宏, 加藤 暢. 物流システム記述のための多重Ambient Calculus. 情報処理学会論文誌 プログラミング. 2012. 5. 2. 79-87
- Toru Kato, Masahiro Higuchi. A handling management system for freight with the ambient calculus and UHF RFID tags. Proceedings of the 2012 15th International Conference on Network-Based Information Systems, NBIS 2012. 2012. 364-371
- Toru Kato, Masahiro Higuchi, Naoto Ueda. An Ambient Logic Model Checking System for Freight Systems. 情報処理学会論文誌. 数理モデル化と応用. 2010. 3. 1. 73-86
- Toru Kato, Masahiro Higuchi. A handling management system for freight with the ambient calculus. International Journal of Mathematical Models and Methods in Applied Sciences. 2009. 3. 3. 179-186
- Toru Kato, Masahiro Higuchi. A Freight Management System with the Ambient Calculus. PROCEEDINGS OF THE 8TH WSEAS INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS AND INFORMATICS. 2009. 106-+
- MORIMOTO DAISUKE, KATO TORU, HIGUCHI MASAHIRO. A Conformance Decision System for Physical Distribution with the Ambient Calculus. 情報処理学会論文誌. プログラミング. 2007. 48. 10. 151-164
- MORI TAKANORI, TOKUDA KOHEI, TADA HARUMASA, HIGUCHI MASAHIRO, HIGASHINO TERUO. A Method to Generate Test Sequences for DFSM Protocol with Timer System Call(Special Issue on Multimedia Communication Systems). IPSJ Journal. 2001. 42. 12. 3072-3081
- FUKADA ATSUSHI, MORI TAKANORI, NAKATA AKIO, KITAMICHI JUNJI, HIGUCHI MASAHIRO, HIGASHINO TERUO. Conformance Testing for Communication Protocols Modeled as Concurrent DFSMs with Non-observable Non-deterministic Behavior(Special Issue on Multimedia Communication Systems). IPSJ Journal. 2001. 42. 12. 3063-3071
- TADA HARUMASA, HIGUCHI MASAHIRO. An Event Abstraction Method in Distributed Computations Based on Control Flow (Special Issue on Multimedia Network System). IPSJ Journal. 2001. 42. 2. 260-267
- A Hierachical-Keyword-based Naming Scheme in File Systems. 2001. 42. 9. 2328-2338
- KOHARA MASARU, MORI TAKANORI, HIGUCHI MASAHIRO, FUJII MAMORU. A Fault Coverage Evaluation of Test Suite Generation Methods for EFSM. IPSJ Journal. 1999. 40. 7. 3113-3116
- HIGUCHI MASAHIRO, KOHARA MASARU, NAKAISHI TAKAHARU, FUJII MAMORU. A Method for Generating Test Cases for Register Operations in Conformance Testing of Communication Protocols(<特集>Special Issue on New Generation Database Technology for Internet, Multimedia and Mobile computing). IPSJ Journal. 1998. 39. 4. 1067-1076
Return to Previous Page
