Concurrent Post
-
Faculty of Science and Engineering Graduate School of Fundamental Science and Engineering
Details of a Researcher
Updated on 2023/02/01
Professor,
Faculty of Science and Engineering,
Waseda University
Director,
Center for Global Research in Advanced Software Science and Engineering (GRACE Center)
National Institute of Informatics (NII)
Visiting Professor,
UCL (University College London) in the UK
Faculty of Science and Engineering Graduate School of Fundamental Science and Engineering
Waseda Research Institute for Science and Engineering Concurrent Researcher
Ph.D
National Institute of Informatics
英国UCL(University College London) 客員教授
National Institute of Informatics Deputy Director General
The University of Tokyo The Graduate School of Information Science and Technology
National Institute of Informatics
National Institute of Informatics National Institute of Informatics
Toshiba Corporation
IEEE
ACM
人工知能学会
情報処理学会
ソフトウェア科学会
Computer system
Software
Information network
ソフトウェア工学
分散システム
エージェント
Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence
Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
2021 IEEE 3rd Global Conference on Life Sciences and Technologies (LifeTech) 2021.03
Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence.
Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
204 - 206 2021
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
2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) 2020.07
Error-oriented Mutant Reduction and Mutant Weighting for Reliable Mutation Testing
61 ( 4 ) 945 - 956 2020.04 [Refereed]
違反状態抽象化による保証可能な安全性特定のための分析空間削減
相澤和也, 鄭 顕志, 本位田 真一
電子情報通信学会論文誌 D J103-D ( 4 ) 238 - 246 2020.04 [Refereed]
A game analysis algorithm for identifying safety properties guaranteeable while satisfying a liveness property
Kazuya Aizawa, Kenji Tei, Shinichi Honiden
2020 [Refereed]
Updating Environment Model at Runtime for Self-adaptive System
Moeka Tanabe, Kenji Tei, Shinichi Honiden
IPSJ Journal 60 ( 10 ) 1617 - 1630 2019.10 [Refereed]
Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems
Kazuya Aizawa, Kenji Tei, Shinichi Honiden
The 16th IEEE International Conference on Advanced and Trusted Computing (ATC 2019) 2019.08 [Refereed]
Modelling and Analysing Resilient Cyber-Physical Systems
Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao
The 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems 2019 (SEAMS 2019, NIER Paper) 70 - 76 2019.05 [Refereed]
環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム
相澤和也, 鄭顕志, 本位田真一
情報処理学会論文誌 60 ( 4 ) 1025 - 1039 2019.04 [Refereed]
Change Impact Analysis for Refinement-based Formal Specification
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
IEICE Transactions on Information and Systems, Special Issue on Formal Approach Accepted 2019.03 [Refereed]
Engineering Adaptive Software Systems
Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Muller, John Mylopoulos, Bashar Nuseibeh
Communications of NII Shonan Meetings 2019.02 [Refereed]
Consistency-preserving refactoring of refinement structures in Event-B models
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Formal Aspects of Computing 31 ( 3 ) 287 - 320 2019.02 [Refereed]
Identifying safety properties guaranteed in changed environment at runtime
Kazuya Aizawa, Kenji Tei, Shinichi Honiden
the 3rd IEEE International Conference on Agents (ICA 2018) 75 - 80 2018.09 [Refereed]
Applicability of Earned Value Management for Deadline Energy Constrained Applications
Shunichiro Suenaga, Kenji Tei, Shinichi Honiden
IEEM 2017 2017.12 [Refereed]
Construction of Abstract State Graphs for Understanding Event-B Models
Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden
Symposium on Dependable Software Engineering (SETTA 2017) 250 - 265 2017.10 [Refereed]
Test Suite Reduction in Idempotence Testing of Infrastructure as Code
Katsuhiro Ikeshita, Fuyuki Ishikawa, Shinichi Honiden
The 11th International Conference on Tests and Proofs (TAP 2017) 98 - 115 2017.07 [Refereed]
Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects
Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2017) 152 - 162 2017.06 [Refereed]
Generating Specification for Automated Warehouse System by Hieratical Discrete Controller Synthesis
Masaki Katae, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
合同エージェントワークショップ&シンポジウム2016 (JAWS2016) 1 - 8 2016.09 [Refereed]
Relaxing Requirements with Environment Changes for Graceful Degradation
Kazuya Aizawa, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
5th Asian Workshop of Advanced Software Engineering 2016.03 [Refereed]
Reachability Analysis for Electric Cars: Project Management Inspired Approach
Shunichiro Suenaga, Shinichi Honiden
23rd ITS World Congress 2016 [Refereed]
Assured and Correct Dynamic Update of Controllers
L. Nahabedian, V. Braberman, N. D'Ippolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel
PROCEEDINGS OF 2016 IEEE/ACM 11TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS) 96 - 107 2016 [Refereed]
Mobile Augmented Reality Gaming for Daily Activity Learning and Satisfaction
Natsumi Asahara, Keita Higuchi, Soramichi Akiyama, Shinichi Honiden
ACM CHI 2015 Symposium on Emerging Japanese HCI Research Collection 2015.04 [Refereed]
Model-Driven-Development-Based Stepwise Software Development Process for Wireless Sensor Networks
Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden
IEEE Transactions on Systems, Man, and Cybernetics: Systems 45 ( 4 ) 675 - 687 2015 [Refereed]
Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sesnor Network Case
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
The 11th International Conference Applied Computing 2014 (AC 2014) 25 - 27 2014.10 [Refereed]
Sample Efficiency Improvement on Neuroevolution via Estimation-Based Elimination Strategy
Shengbo Xu, Yuki Inoue, Tetsunari Inamura, Hirotaka Moriguchi, Shinichi Honiden
The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014) 1537 - 1538 2014.05 [Refereed]
ArbitCheck: A Highly Automated Property-based Testing Tool for Java
Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
2014 SEVENTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2014) 405 - 412 2014 [Refereed]
動的ソフトウェア進化へのエージェント技術の活用
中川博之, 大須賀昭彦, 本位田真一
2013.09
Mutation Analysis for JavaScript Web Applications Testing
Kazuki Nishiura, Yuta Maezawa, Hironori Washizaki, Shinichi Honiden
The 25th International Conference on Software Engineering and Knowledge Engineering (SEKE'13) 159 - 165 2013.06 [Refereed]
照合操作の識別のためのOCL記述の解析方法
井上 拓, 本位田 真一
情報処理学会論文誌 54 ( 3 ) 2013.03 [Refereed]
参照整合性の検証のためのUML Activity解析方法
井上 拓, 本位田 真一
情報処理学会論文誌 特集「ソフトウェア工学」 54 ( 2 ) 2013.02 [Refereed]
54 ( 2 ) 820 - 834 2013.02 [Refereed]
無線センサネットワークにおけるデータ品質改善の為の開発プロセス
本位田真一
電子情報通信学会論文誌 学生論文特集 D 2013 [Refereed]
Coq を使用したMapReduce アプリケーションの検証とScala コード
本位田真一
電子情報通信学会論文誌 D 2013 [Refereed]
Fault Classification and Model Learning from Sensory Readings - Framework for Fault Tolerance in Wireless Sensor Networks
Valentina Baljak, Kenji Tei, Shinichi Honiden
2013 IEEE EIGHTH INTERNATIONAL CONFERENCE ON INTELLIGENT SENSORS, SENSOR NETWORKS AND INFORMATION PROCESSING 408 - 413 2013 [Refereed]
Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden
PROCEEDINGS OF THE 2013 13TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID 2013) 78 - 82 2013 [Refereed]
Faults in Sensory Readings: Classification and Model Learning
Valentina Baljak, Tei Kenji, Shinichi Honiden
Sensors & Transducers 18 177 - 187 2013.01 [Refereed]
Towards Refinement Strategy Planning for Event-B
Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B'12) in conjunction with ICFEM 2012.11 [Refereed]
Modeling and Analyzing Legal Interpretations for/by Requirements Engineering Approaches
Fuyuki Ishikawa, Rihoko Kawai, Inoue, Shinichi Honiden
The 6th International Workshop on Juris-informatics (JURISIN 2012) 143 - 156 2012.11 [Refereed]
クラウドを動的に利用するWebサービス連携のための動作記述
鶴見 直樹, 石川 冬樹, 本位田 真一, 深澤 良彰
電子情報通信学会技術研究報告(サービスコンピューティング第3回研究会) 112 ( 299 ) 25 - 30 2012.11
ゴール指向要求記述の整形に基づいたソフトウェアシステム進化手法
中川 博之, 大須賀 昭彦, 本位田 真一
情報処理学会論文誌 53 ( 10 ) 2012.10 [Refereed]
A Scalable Distributed Architecture for Network- and QoS-aware Service Composition
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
International Joint Agent Workshop and Symposium (iJAWS 2012) 2012.10 [Refereed]
Classification of Faults in Sensor Readings with Statistical Pattern Recognition
Valentina Baljak, Kenji Tei, Shinichi Honiden
The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012) 2012.08 [Refereed]
CMA-TWEANN: Efficient Neuroevolution via Synthetic Evolution
Hirotaka Moriguchi, Shinichi Honiden
Genetic and Evolutionary Computation Conference (GECCO2012) 2012.07 [Refereed]
都鳥: メモリ再利用による連続するライブマイグレーションの最適化
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
情報処理学会論文誌:コンピューティングシステム 5 ( 2 ) 74 - 85 2012.03 [Refereed]
Component Trust for Web Service Compositions
Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden
AAAI Spring Symposium 2012: Intelligent Web Services Meet Social Computing 2012.03 [Refereed]
メタデータ制約を用いた協調プロトコルの自動合成手法
高橋 竜一, 石川 冬樹, 本位田 真一, 深澤 良彰
情報処理学会論文誌 特集「分散処理とネットワークサービス」 53 ( 2 ) 683 - 697 2012.02 [Refereed]
Meta-Models for Wireless Sensor Network Applications: Data, Group, and Node Views
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
GRACE Technical Report GRACE-TR-2012-01 1 - 9 2012.02
S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study
Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
ANT 2012 AND MOBIWIS 2012 10 30 - 37 2012 [Refereed]
S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study
Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
ANT 2012 AND MOBIWIS 2012 10 30 - 37 2012 [Refereed]
Supporting view transition design of smartphone applications using web templates
Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa, Shinichi Honiden
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7387 323 - 331 2012 [Refereed]
Case studies on the development of wireless sensor network applications using multiple abstraction levels
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings 22 - 28 2012 [Refereed]
CMA-TWEANN: Efficient Optimization of Neural Networks via Self-Adaptation and Seamless Augmentation
Hirotaka Moriguchi, Shinichi Honiden
PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE 903 - 910 2012 [Refereed]
Florian Wagner, Fuyuki Ishikawa and Shinichi Honiden
Shinichi Honiden
2011.12 [Refereed]
無線センサネットワークにおける対象追跡の分解能を調整可能なセンサモデル
鄭 顕志, 中里 彦俊, 深澤 良彰, 本位田 真一
電子情報通信学会論文誌 J94-B ( 10 ) 1351 - 1362 2011.10 [Refereed]
同種サービスの併用を考慮した効率的なサービス選択
平塚 信明, 石川 冬樹, 本位田 真一
情報処理学会論文誌 52 ( 10 ) 2920 - 2933 2011.10 [Refereed]
Achieving constraint compliance in QoS-aware service planning
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
The 2nd International Joint Agent Workshop & Symposium (iJAWS 2011) 2011.10 [Refereed]
ヴィックレイオークションを利用したWebサービス選択アルゴリズム
渡辺 敦, 石川 冬樹, 深澤 良彰, 本位田 真一
合同エージェントワークショップ&シンポジウム2011 (JAWS2011) 2011.10 [Refereed]
Chordネットワークに配置された配列に対する並列範囲アクセス
福地 大輔, 本位田 真一
情報処理学会論文誌 52 ( 8 ) 2441 - 2454 2011.08 [Refereed]
ソフトウェアの問題記述のための実行可能な形式化自然語の提案
日野 克重, 本位田 真一
情報処理学会論文誌 Vol.52 ( No.3 ) 1365 - 1394 2011.03 [Refereed]
経路情報を用いた複数タスクへのセンサ割当
鳥海 晋, 本位田 真一
情報処理学会論文誌 特集「マルチメディア、分散、協調とモバイルシステム」 Vol.52 ( No.3 ) 1091 - 1101 2011.03 [Refereed]
物理的相互作用に着目した,スマート空間の形式仕様記述と検証
石川 冬樹, 山本 佳代子, 本位田 真一
情報処理学会論文誌 Vol.52 ( No.1 ) 220 - 232 2011.01 [Refereed]
An Implementation Framework for Self-adaptive Systems Based on Agent Behaviors Description
NAKAGAWA Hiroyuki, OHSUGA Akihiko, HONIDEN Shinichi
Transactions of the Japanese Society for Artificial Intelligence 26 ( 1 ) 1 - 12 2011.01 [Refereed]
Decision making in adaptive manufacturing systems: Multi-objective scheduling and user interface
Benjamin Klöpper, Shinichi Honiden, Jan-Patrick Pater, Wilhelm Dangelmaier
IEEE SSCI 2011 - Symposium Series on Computational Intelligence - CICA 2011 - 2011 IEEE Symposium on Computational Intelligence in Control and Automation 123 - 130 2011 [Refereed]
Divide & conquer in planning for self-optimizing mechatronic systems - A first application example
Benjamin Klöpper, Shinichi Honiden, Wilhelm Dangelmaier
IEEE SSCI 2011 - Symposium Series on Computational Intelligence - CICA 2011 - 2011 IEEE Symposium on Computational Intelligence in Control and Automation 108 - 115 2011 [Refereed]
Bridging the gap between semantic web service composition and common implementation architectures
Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden
Proceedings - 2011 IEEE International Conference on Services Computing, SCC 2011 152 - 159 2011 [Refereed]
Autonomic role and mission allocation framework for wireless sensor networks
Themistoklis Bourdenas, Kenji Tei, Shinichi Honiden, Morris Sloman
Proceedings - 2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2011 61 - 70 2011 [Refereed]
A Framework for Validating Task Assignment in Multi-agent Systems using Requirements Importance (Early Innovation)
Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
The 13th International Conference on Principles and Practice of Multi-Agent Systems 207 - 214 2010.11 [Refereed]
同種サービスの複数利用を考慮した効率的なサービス選択候補の構築
平塚 信明, 石川 冬樹, 本位田 真一
合同エージェントワークショップ&シンポジウム(JAWS 2010) 2010.10 [Refereed]
Towards Effective Use of Requirements Description in Self-adaptive System Development
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
In Proceedings of the International Workshop on Modern Science and Technology 2010 (IWMST2010) 2010.09 [Refereed]
プロセス間競合を考慮した自己適応システムの形式仕様構築
中川 博之, 大須賀 昭彦, 本位田 真一
情報処理学会論文誌 Vol.51 ( No.9 ) 1751 - 1764 2010.09 [Refereed]
Service-oriented middleware for dynamic management of heterogeneous sensing devices
Levent Gürgen, Johan Nyström-Persson, Amin Cherbal, Cyril Labbé, Claudia Roncancio, Shinichi Honiden
In proceedings of the 7th ACM International Conference on Pervasive Services (ICPS 2010 2010.07 [Refereed]
無線センサネットワークの為のモデル駆動開発に向けたDSL非依存モデルの提案
清水 遼, 鄭 顕志, 深澤 良彰, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム 2010.07 [Refereed]
組合せによる条件付き品質を考慮したWebサービス選択の高速化手法
渡辺 敦, 片渕 聡, 高橋 竜一, 鄭 顕志, 石川 冬樹, 深澤 良彰, 本位田 真一
マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2010) 2010.07 [Refereed]
A Method of Analysis to Uncover Physical Artefact-Communication Relationship
Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden
In Proceedings of the 23rd FLAIRS conference. Special track: Cognition and AI: Capturing Cognitive Plausibility and Informing Psychological Processes. 2010.05
N-ary Sensor Model for Target Tracking in Wireless Sensor Networks
Kenji Tei, Hikotoshi Nakazato, Yoshiaki Fukazawa, Shinichi Honiden
In Proceedings of the First International Workshop on Energy Aware Design and Analysis of Cyber Physical Systems (WEA-CPS’10), in conjunction with CPSWEEK in Stockholm, Sweden. 2010.04
Rewriting Logic Model of Compositional Abstraction of Aspect-Oriented Software
Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
Proc. of Foundations of Aspect-Oriented Languages Workshop 2010 (FOAL 2010) 53 - 62 2010.03 [Refereed]
組み合わせQoSを考慮した自動サービス合成に関する研究
渡辺敦, 片渕聡, 高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一
ウィンターワークショップ2010・イン・倉敷 2010.01
Notification型Webサービス特有のQoSによるサービス選択に向けてのアプローチ
片渕 聡, 鄭 顕志, 高橋 竜一, 石川 冬樹, 深澤 良彰, 本位田 真一
ウィンターワークショップ2010・イン・倉敷 2010.01
Efficient, Failure-Resilient Semantic Web Service Planning\
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
SERVICE-ORIENTED COMPUTING - ICSOC 2010, PROCEEDINGS 6470 686 - + 2010 [Refereed]
Planning with utility and state trajectory constraints in self-healing automotive systems
Benjamin Klöpper, Shinichi Honiden, Jan Meyer, Matthias Tichy
Proceedings - 2010 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2010 74 - 83 2010 [Refereed]
Agile Software Development Process: A Case Of Collaborative Cognition In Flux
Nik Nailah Binti Abdullah, Robert G. M. Hausmann, Shinichi Honiden, Helen Sharp
COGNITION IN FLUX 2401 - 2401 2010 [Refereed]
Cooperative Behaviors Description for Self-* Systems Implementation
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS 70 69 - + 2010
Efficient, Failure-Resilient Semantic Web Service Planning\
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
SERVICE-ORIENTED COMPUTING - ICSOC 2010, PROCEEDINGS 6470 686 - + 2010 [Refereed]
進化的神経回路網における個体の機能に基づく類似度尺度の提案
森口 博貴, 本位田 真一
第三回進化計算シンポジウム 2009.12
Group Migration by Mobile Agents in Wireless Sensor Networks
Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
The Computer Journal, Oxford University Press 2009.12
How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project
Fuyuki Ishikawa, Kenji Taguchi, Shinichi Honiden
The 7th VDM-Overture Workshop at FM 2009, Eindhoven, the Netherlands 2009.11
マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法
高橋 竜一, 鄭 顕志, 石川 冬樹, 本位田 真一, 深澤 良彰
電子情報通信学会論文誌 J92-D ( 11 ) 1827 - 1839 2009.11
スマート空間内でのサービス利用時に発生する物理的影響の考慮の支援
山本 佳代子, 石川 冬樹, 本位田 真一
合同エージェントワークショップ&シンポジウム(JAWS2009) 2009.10
振る舞いに基づく多様性維持とイノベーション保護"
森口 博貴, 本位田 真一
第2回進化計算フロンティア研究会(SIG-ECF), 2009.10
ゴール指向要求分析を用いたself-adaptiveシステムの構築
中川 博之, 大須賀 昭彦, 本位田 真一
情報処理学会論文誌 50 ( 10 ) 2500 - 2513 2009.10
無線センサネットワークにおけるアプリケーション配置を考慮した生存時間延長
鳥海 晋, 清 雄一, 末永 俊一郎, 鄭 顕志, 本位田 真一
マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2009) 2009.07
サービス合成におけるメタデータを用いた協調プロトコル合成手法
高橋 竜一, 鄭 顕志, 石川 冬樹, 本位田 真一, 深澤 良彰
2009.07
Webサービス検索のための操作カテゴリ分類手法の提案
片渕 聡, 鄭 顕志, 高橋 竜一, 石川 冬樹, 深澤 良彰, 本位田 真一
電子情報通信学会情報・システムソサエティサービスコンピューティング時限専門委員会第1回研究会 2009.07
Op´erations d’administration pour SStreaMWare
Levent Gürgen, Cyril Labb?, Shinichi Honiden
In Proceedings of the 5th French speaking conference on Ubiquity and Mobility (UBIMOB'09), 2009.07
Folksonomy からの潜在的知識抽出
馬場 雪乃, 石川 冬樹, 本位田 真一
第10回AI若手の集い (MYCOM2009) 2009.06
An integrated management middleware for networked sensing systems
Levent Gürgen, Shinichi Honiden
The Seventh International Conference on Pervasive Computing, Late Breaking Results 2009.05
多数のノード取得攻撃に対応した無線センサーネットワークにおける不正イベントの検知
清 雄一, 本位田 真一
電子情報通信学会論文誌 92-B ( 4 ) 678 - 688 2009.04
多数のノード取得攻撃に対応した無線センサーネットワークにおける複製ノードの分散検知
清 雄一, 本位田 真一
電子情報通信学会論文誌 92-B ( 4 ) 689 - 699 2009.04
分散配列: 効率的な論理配列を実現するP2Pデータ構造
福地 大輔, Christian Sommer, 清 雄一, 本位田 真一
情報処理学会論文誌 50 ( 2 ) 721 - 736 2009.02 [Refereed]
無線センサネットワークにおける複数プログラムの動的配備
末永 俊一郎, 吉岡 信和, 本位田 真一
情報処理学会論文誌 50 ( 1 ) 14 - 30 2009.02 [Refereed]
無線センサーネットワークにおける不正メッセージ作成元ノードの検知
清 雄一, 本位田 真一
情報処理学会論文誌 50 ( 2 ) 787 - 797 2009.02 [Refereed]
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project
Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden
TEACHING FORMAL METHODS, PROCEEDINGS 5846 57 - 71 2009
Distributed Detection of Node Replication Attacks Resilient to Many Compromised Nodes in Wireless Sensor Networks
Yuichi Sei, Shinichi Honiden
Fourth International Wireless Internet Conference (WICON 2008) 2008.11 [Refereed]
An Efficient Node Selection Metric for In-network Process Deployment
Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
Fourth International Wireless Internet Conference (WICON 2008) 2008.11 [Refereed]
KAOSモデルを利用したself-adaptive システムの構築
中川博之, 大須賀昭彦, 本位田真一
2008.11 [Refereed]
無線センサネットワークにおける計測記述言語のための規範モデル導出手法の構築
鄭顕志, 深澤良彰, 本位田真一
第15回ソフトウェア工学の基礎ワークショップ(FOSE2008) 69 - 75 2008.11 [Refereed]
トップエスイー:ソフトウェア開発におけるトップレベル技術者の育成
鷲崎弘宜, 田口研治, 吉岡信和, 粂野文洋, 田原康之, 本位田 真一
Quality One 4 5 - 11 2008.11 [Refereed]
Education Course of Practical Model Checking
Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
First International Workshop on Formal Methods Education and Training, Technical Report GRACE-TR-2008-03 3 33 - 48 2008.10 [Refereed]
Extracting Time and Location Concepts Related to Tags
Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden
Workshop on 1st Workshop on Incentives for the Semantic Web (INSEMTIVE 2008) 15 - 26 2008.10 [Refereed]
適応エージェントのためのユビキタスコンピューティングミドルウェア
鄭 顕志, 石川 冬樹, 吉岡 信和, 深澤 良彰, 本位田 真一
コンピュータソフトウェア 25 ( 4 ) 11 - 19 2008.10
ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向
鄭顕志, 中川博之, 川俣洋次郎, 吉岡信和, 深澤良彰, 本位田真一
コンピュータソフトウェア 25 ( 4 ) 121 - 132 2008.10 [Refereed]
ユビキタスコンピューティングにおける分散協調・連携技術の研究動向
石川 冬樹, 阿部 玲, 高橋 竜一, 吉岡 信和, 深澤 良彰, 本位田 真一
コンピュータソフトウェア 25 ( 4 ) 133 - 144 2008.10
コンポーネントモデルを用いたJADE ビヘイビア実装手法の提案
中川博之, 大須賀昭彦, 本位田真一
2008.10 [Refereed]
協調プロトコル合成における制御構造付与のためのハイレベルオペレーション
高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2008 (JAWS-2008) 2008.10 [Refereed]
Transparent Application Lifetime Management in Wireless Sensor Networks
Eric Platon, Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
the 10th International Conference on Ubiquitous Computing (UbiComp 2008) 2008.09 [Refereed]
Characterizing different communication characteristics arising in different phases of meetings
Nik Nailah Binti Abdullah, Shinichi Honiden
Conference on Language, Communication and Cognition. Brighton, London 2008.08
Bayesian Iteration: Online Learning in Timed Zero-Sum Games with Unknown Enemy
Hirotaka Moriguchi, Fuyuki Ishikawa, Shinichi Honiden
Workshop on Artificial Intelligence in Games (AIG'08) 2008.07 [Refereed]
What Goes on in a Meeting? Empirical Work
Nik Nailah Binti Abdullah, Tomadaki, E, Scott, P.J, Shinichi Honiden
30th Annual Conference of the Cognitive Science Society 2512 - 2512 2008.07 [Refereed]
The challenges in analyzing online videoconferencing meetings
Nik Nailah Binti Abdullah, Shinichi Honiden
Third international conference on Interdisciplinary social science. Monash University Center, Prato, Tuscany, Italy 2008.07
モデル変換に基づく要求記述を利用した形式仕様の構築
中川 博之, 田口 研治, 本位田 真一
情報処理学会論文誌 49 ( 7 ) 2304 - 2318 2008.07 [Refereed]
通信コストと計測精度を考慮したトラッキングのためのセンサモデルの提案
中里彦俊, 中村善行, 鄭顕志, 深澤良彰, 本位田真一
マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008) 2008.07 [Refereed]
無線センサネットワークにおける省資源性を考慮したセンサセレクション手法
中村善行, 鄭顕志, 深澤良彰, 本位田真一
マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008) 2008.07 [Refereed]
ユビキタスコンピューティングにおけるイベントに基づいたアクセス制御
石川 冬樹, 清 雄一, 吉岡 信和, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム 論文集 435 - 438 2008.07 [Refereed]
効率の良いネットワーク内処理のためのノード選択指標の提案
鄭 顕志, 深澤 良彰, 本位田 真一
情報処理学会論文誌 49 ( 6 ) 1872 - 1884 2008.06 [Refereed]
タグに関連づけられた時間・場所の概念抽出(「Webインテリジェンス」及び一般)
馬場雪乃, 石川冬樹, 本位田真一
電子情報通信学会技術研究報告. AI, 人工知能と知識処理 108 ( 119 ) 51 - 56 2008.06
On agent-friendly aggregation in networks
Christian Sommer, Shinichi Honiden
Second International Workshop on Agent-Technology for Sensor Networks (ATSN-08) 75 - 78 2008.05 [Refereed]
Constructing Locally Centralized Applications by Mobile Agents in Wireless Sensor Networks
Shunichiro Suenaga, Shinichi Honiden
Second International Workshop on Agent Technology for Sensor Networks (ATSN-08). Estoril, Portugal 2008.05
The what and how of IM functions in distributed scientific collaboration
Nik Nailah Binti Abdullah, Shinichi Honiden
3rd Int. Conference on IASTED-HCI, Innsbruck, Austria 2008.03
Name-based Location Service for Mobile Agents in Wireless Sensor Networks
Shunichiro Suenaga, Shinichi Honiden
First International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (MOBILWARE 2008) 2008.02
無線センサーネットワークにおけるFalse Eventの検知
清雄一, 本位田真一
情報処理学会論文誌 49 ( 2 ) 628 - 638 2008.02 [Refereed] [Invited]
Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems
Ryuichi Takahashi, Kenji Tei, Yoshiaki Fukazawa, Fuyuki Ishikawa, Shinichi Honiden
EDOC 2008: 12TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING, PROCEEDINGS 372 - + 2008 [Refereed]
Interoperability of mobile agents for ubiquitous applications
Tetsuo Hasegawa, Kenta Cho, Akihiko Ohsuga, Fumihiro Kumeno, Shin Nakajima, Shinichi Honiden
ELECTRICAL ENGINEERING IN JAPAN 161 ( 4 ) 49 - 59 2007.12 [Refereed]
Extracting and Utilizing Event-Context Relationships in Blogsphere
Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden
Poster/Demo Track of the 6th International Semantic Web Conference(ISWC 2007) 2007.11
保守性に着目したリファクタリング方針の評価メトリクス
川俣洋次郎, 中川博之, 本位田真一
2007.11 [Refereed]
Errors and Misconceptions in Learning i*
Toshihiko Tsumaki, Yasuyuki Tahara, Nobukazu Yoshioka, Haruhiko Kaiya, Kenji Taguchi, Shinichi Honiden
2nd International Workshop on Requirements Engineering Education and Training (REET'07) 2007.10
Real-time POI detection and rating using floating car data
Osamu Masutani, Hirotoshi Iwasaki, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
14th World Congress on Intelligent Transport Systems 2007.10
ユビキタスコンピューティングにおけるコンテキストのモデル化,管理に関する研究動向
中村善行, 清家良太, 鄭顕志, 吉岡信和, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2007 (JAWS2007) 2007.10 [Refereed]
マルチエージェントシステムにおける柔軟なプロトコル合成言語
高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2007 (JAWS2007) 2007.10 [Refereed]
サービス合成における契約ポリシーの決定・検証問題の形式化とその支援
石川冬樹, 吉岡信和, 本位田真一
合同エージェントワークショップ&シンポジウム2007 (JAWS2007) 2007.10 [Refereed]
Variable-size DBFによる分散ハッシュテーブルのトラフィック量削減
清雄一, 松崎和賢, 本位田真一
電子情報通信学会論文誌 J90-D ( 9 ) 2378 - 2387 2007.09 [Refereed] [Invited]
要求の重要度を用いたマルチエージェントシステムの分析モデル検証
中川博之, 吉岡信和, 本位田真一
電子情報通信学会論文誌 J90-D ( 9 ) 2281 - 2292 2007.09 [Refereed] [Invited]
Cooperative Migration of Mobile Agents Using Agreements Based on Event Calculus
ISHIKAWA Fuyuki, YOSHIOKA Nobukazu, HONIDEN Shinichi
The IEICE transactions on information and systems J90-D ( 9 ) 2349 - 2364 2007.09 [Refereed] [Invited]
Predicting Breakdown Situations over the Instant Messaging through Analyzing Conversational Structure
Nik Nailah Binti Abdullah, Shinichi Honiden
29th Annual Meeting of the Cognitive Science Society 1711 2007.08
IMPULSE: KAOSを利用したマルチエージェントシステムの分析モデル構築
中川博之, 吉岡信和, 本位田真一
情報処理学会論文誌処理 48 ( 8 ) 2551 - 2565 2007.08 [Refereed] [Invited]
Using Ringed Bloom Filters to Reduce the Communication Traffic on a Distributed Hash Table
清雄一, 松崎和賢, 本位田真一
情報処理学会論文誌 48 ( 7 ) 2267 - 2277 2007.07
Building Assistive Technology for Breakdown Situations in Collaborative Communications via IM
Nik Nailah Binti Abdullah, Eric Tschetter, Shinichi Honiden
Plan, Activity and Intent Recognition Workshop. AAAI 2007. Twenty-Second Conference on Artificial Intelligence, Vancouver, British Columbia, Canada 2007.07
Ringed Bloom Filterによる分散ハッシュテーブルのトラフィック量削減
清雄一, 松崎和賢, 本位田真一
情報処理学会論文誌 48 ( 7 ) 2349 - 2364 2007.07 [Refereed] [Invited]
MANETにおけるコスト基準経路探索プロトコルへのコスト基準拡張リング探索の適用
河村美嗣, 鄭顕志, 深澤良彰, 本位田真一
マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2007) 238 - 244 2007.07 [Refereed]
無線センサーネットワークにおける計測処理記述のためのデザインパターンの抽出と適用
鄭顕志, 深澤良彰, 本位田真一
マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2007) 506 - 515 2007.07 [Refereed]
KAOSによる無線センサーネットワークのための計測処理中間モデルの導出
鄭顕志, 深澤良彰, 本位田真一
マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2007) 1168 - 1179 2007.07 [Refereed]
トップエスイー教育プログラム
Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi
In Proc. of 29th International Conferene of Sotware Engineering (ICSE 2007), IEEE CS, 708 - 717 2007.05 [Refereed] [Invited]
プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用
石川 冬樹, 吉岡 信和, 本位田 真一
情報処理学会論文誌 48 ( 4 ) 1785 - 1798 2007.04 [Refereed] [Invited]
セキュリティパターンに基づく安全で効率的な企業間連携システムの設計法
Nobukazu Yoshioka, Shinichi Honiden, Anthony Finkelstein
Proc. of The 8th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2004), 84 - 97 2007.04 [Refereed] [Invited]
ゴール指向要求工学方法論の共通用語モデルと共通パターン
田原康之, 長野伸一, 吉岡信和, 本位田真一
情報処理学会論文誌 48 ( 3 ) 2007.03 [Refereed]
ユビキタス環境で活躍するエージェント
吉岡信和, 本位田真一
情報処理 ( Vol.48,No.3 ) 29 - 35 2007.03 [Refereed] [Invited]
Organizing Folksonomy Tags: Analysis of Folksonomy Tripartite Graph Structur (to appear)
Satoshi Niwa, Takuo Doi, Shinichi Honiden
Eighth International Conference on Intelligent Text Processing and Computational Linguistics (CICLing 2007), February 18-24, 2007, Mexico City, Mexicoa 2007.02 [Refereed]
Top SE: education program for super architects
Honiden Shinichi, Taguchi Kenji, Yoshioka Nobukazu, Tahara Yasuyuki, Washizaki Hironori
The Journal of the Institute of Television Engineers of Japan 61 ( 9 ) 1288 - 1293 2007
Multi-agent participatory simulations between experimental economics and role-playing games
Paul Guyot, Alexis Drogoul, Shinichi Honiden
AGENT-BASED APPROACHES IN ECONOMIC AND SOCIAL COMPLEX SYSTEMS IV 3 11 - + 2007 [Refereed]
Increasing the ease of deployment in ubiquitous environments
Kazutaka Matsuzaki, Shinichi Honiden
FIFTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS 581 - + 2007 [Refereed]
Folksonomy Tag Organization Method Based on the Tripartite Graph Analysis (to appear)
Satoshi Niwa, Takuo Doi, Shinichi Honiden
IJCAI Workshop on Semantic Web for Collaborative Knowledge Acquisition, January 6-12 Hyderabad, India 2007.01 [Refereed]
Introducing auction scheme to route allocation to prolong the lifetime of ad-hoc networks
Kenji Tei, Hiromi Muto, Yoshiaki Fukazawa, Shinichi Honiden
CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ... 2007 [Refereed]
A sensor middleware for lightweight relocatable sensing programs
Makoto Ishiguro, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ... 2007 [Refereed]
Multi-robot positioning model: Multi-agent approach
Satoshi Kataoka, Shinichi Honiden
CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ... 2007 [Refereed]
Smartive: Agreement-based mobile composite agents for multimedia services
Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ... 2007 [Refereed]
A definition of exceptions in agent-oriented computing
Eric Platon, Nicolas Sabouret, Shinichi Honiden
ENGINEERING SOCIETIES IN THE AGENTS WORLD VII 4457 161 - + 2007 [Refereed]
Managing difference-based objects with sub-networks in peer-to-peer environments
Daisuke Fukuchi, Yuichi Sei, Shinichi Honiden
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 2, PROCEEDINGS 4806 1001 - 1010 2007
Agreements and policies in cooperative mobile agents: Formalization and implementation
Fuyuki Ishikawa, Nobukazu. Yoshioka, Shinichi Honiden
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS 4803 683 - 700 2007
Resilient security for false event detection without loss of legitimate events in wireless sensor networks
Yuichi Sei, Shinichi Honiden
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS 4803 454 - + 2007
Context in use for analyzing conversation structures on the web tied to the notion of situatedness
Nik Nailah Binti Abdullah, Shinichi Honiden
MODELING AND USING CONTEXT 4635 94 - + 2007
Detecting intrusions in agent system by means of exception handling
Eric Platon, Martin Rehak, Nicolas Sabouret, Michal Pechoucek, Shinichi Honiden
HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, PROCEEDINGS 4659 161 - + 2007
A topic categorization approach for understanding IM activities on the Web
Nik Nailah Binti Abdullah, Shinichi Honidentiple, Ubiquitous Interaction, book of, abstracts. Christina Brodersen, Susanne Bodker, Clemens N. Klokmose
( DAIMI PB ) 581 2007
Position Evaluation in Go: Self-Coordinating Neural Agents
Eric Tschetter, Eric Platon, Shinichi Honiden
The Second International Workshop on Emergent Intelligence on Networked Agents (WEIN'07), Honolulu, Hawaii 2007
Participatory Design of Agents for Hybrid Coalitions
Guyot, Paul, Honiden, Shinichi
Eighth International Workshop on Multi-Agent-Based Simulation (MABS '07), Honolulu, Hawaii. 2007
On agent-based aggregation schemes in networks with malicious nodes
Christian Sommer, Shinichi Honiden
First International Workshop on Agent Technology for Sensor Network (ATSN 2007), Honolulu, Hawaii 2007
Enabling direct communication protocol between mobile agents in Wireless Sensor Networks
Shunichiro Suenaga, Shinichi Honiden
First International Workshop on Agent Technology for Sensor Network (ATSN 2007), Honolulu, Hawaii 2007
Top SE: Educating superarchitects who can apply software engineering tools to practical development in Japana
Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki
ICSE 2007: 29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS 708 - + 2007
IOM/T: Interaction Oriented Model by Textual Notation
Takuo Doi, Shinichi Honiden
Special Issue of International Journal of Agent-Oriented Software Engineering (IJAOSE) on Programming Multi-Agent Systems 1 ( 3 ) 266 - 294 2007.01 [Refereed] [Invited]
Environmental support for tag interactions
Eric Platon, Nicolas Sabouret, Shinichi Honiden
ENVIRONMENTS FOR MULTI-AGENT SYSTEMS III 4389 106 - + 2007 [Refereed]
Challenges for exception handling in multi-agent systems
Eric Platon, Nicolas Sabouret, Shinichi Honiden
SOFTWARE ENGINEERING FOR MULTI-AGENT SYSTEMS V: RESEARCH ISSUES AND PRACTICAL APPLICATIONS 4408 41 - + 2007 [Refereed]
Efficient model checking of applications with input/output
Cyrille Artho, Boris Zweimueller, Armin Biere, Etsuya Shibayama, Shinichi Honiden
COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007 4739 515 - + 2007 [Refereed]
オブジェクト指向ソフトウェア設計における原則とパターン
鷲崎弘宜, 久保淳人, 深澤良彰, 山本里枝子, 本位田真一
情報処理学会ウィンターワークショップ2007・イン・那覇論文集 2007 [Refereed]
無線センサネットワークにおけるモバイルエージェント間のメッセージ配信
末永俊一郎, 本位田真一
JAWS: Joint Agent Workshops & Symposium 2007 - suenaga 2007 [Refereed]
Novel Applications in Ubiquitous Computing
Christian Sommer, Shunichiro Suenaga, 吉岡信和, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007) 2007年10月29日 合同エージェントワークショップ&シンポジウム2007(JAWS2007) - suenaga 2007 [Refereed]
ユビキタス環境における動的なプロセス配備のためのプログラミング支援フレームワーク
松崎 和賢, 本位田 真一
情報処理学会論文誌 47 ( 12 ) 3188 - 3202 2006.12 [Refereed]
知的移動エージェントによるマルチパーパスワイヤレスセンサネットワークアプリケーション
長 健太, 大須賀 昭彦, 本位田 真一
情報処理学会論文誌 47 ( 12 ) 3165 - 3178 2006.12 [Refereed]
Energy Efficient Location-Specific Data Retrieval in Mobile Ad-Hoc Networks
TEI Kenji, FUKAZAWA Yoshiaki, HONIDEN Shinichi
The IEICE transactions on information and systems J89-D ( 12 ) 2625 - 2636 2006.12 [Refereed]
Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity
Truong Khanh Quan, Fuyuki Ishikawa, Shinichi Honiden
International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 28 November - 1 December 2006, Sydney, Australia 2006.11 [Refereed]
Reduction of the communication traffic for multi-word searches in DHTs
Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden
International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 28 November - 1 December 2006, Sydney, Australia 2006.11 [Refereed]
Agent-Based Participatory Simulations: Merging Multi-Agent Systems and Role-Playing Games
Paul Guyot, Shinichi Honiden
JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION 9 ( 4 ) 2006.10 [Refereed]
知的移動エージェントによる低消費電力なワイヤレスセンサネットワークアプリケーションの構築
長健太, 大須賀昭彦, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) 2006.10 [Refereed]
要求の重要度を用いたロール・組織構造の同定
中川博之, 本位田真一
2006.10 [Refereed]
無線センサーネットワークミドルウェアの研究動向とエージェント技術の適用可能性
鄭顕志, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) 2006.10 [Refereed]
センサーの資源制約を考慮したセンシングプログラムの退避行動手法の提案
石黒真, 鄭顕志, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) 2006.10 [Refereed]
Context-awareなコンテンツ流通のためのセキュリティアーキテクチャ
清雄一, 粂野文洋, 吉岡信和, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) 2006.10 [Refereed] [Invited]
コンテンツ流通エージェントのための強化学習メカニズム
片岡慧, 吉岡信和, 石川冬樹, 鄭顕志, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) 2006.10
Recommender Systemの予測精度を上げる:ユーザ類似度の安定によるアイテムクラスターリング手法
チュオンカンクアン, 石川冬樹, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) 2006.10 [Refereed]
Agent-based Participatory Simulations: Merging Multi-Agent Systems and Role-PlayingGames
Paul Guyot, Shinichi Honiden
Journal of Artificial Societies and Social Simulations 9 ( 4 ) 2006.10 [Refereed]
Cooperative Multi-Agent Approach to Dynamic Coverage in Multi-Robot Activities
Satoshi Kataoka, Shinichi Honiden
The Second International Workshop on Multi-Agent Robotic Systems (MARS 2006) 2006.08
Testing I/O Failures with Enforcer
C. Artho, A. Biere, S. Honiden
FM 2006 (tool demonstration track), Hamilton, Canada, August 2006 2006.08 [Refereed]
Ringed Bloom Filterによる分散ハッシュテーブルのトラフィック量削減
清雄一, 松崎和賢, 本位田真一
情報処理学会シンポジウム論文集 2006 ( 6-1 ) 457 - 460 2006.07
Interaction Design in Agent-based Service-oriented Computing Systems
Jose Quenum, Fuyuki Ishikawa, Shinichi Honiden
AAAI Workshop on AI-Driven Technologies for Services-Oriented Computing, July 16--20, 2006, Boston, USA, 2006 2006.07 [Refereed]
MANETにおける送信遅延と電力消費を考慮したルーティングプロトコルの提案
河村美嗣, 鄭顕志, 深澤良彰, 本位田真一
マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2006) 265 - 268 2006.07 [Refereed]
センシングプログラムの軽量な退避行動を実現するセンサーミドルウェア開発
石黒真, 鄭顕志, 深澤良彰, 本位田真一
マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2006) 797 - 800 2006.07 [Refereed]
MANETにおける情報収集プログラム再配備手法の提案と評価
鄭顕志, 深澤良彰, 本位田真一
マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2006) 133 - 136 2006.07 [Refereed]
Smart Environment for Smarter Agents in E-markets
Eric Platon, Nicolas Sabouret, Shinichi Honiden
Poster at the Nineteenth Florida Artificial Intelligence Research Society Conference, AAAI, May 11th-13th, 2006 2006.05 [Refereed]
Analysis of Multi-Agent Systems based on KAOS Modeling
Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden
ICSE 2006 Emerging Results track 926 - 929 2006.05 [Refereed]
分散ハッシュテーブルにおけるAND検索時のトラフィック量削減 (「マルチエージェントの理論と応用」特集号)
清雄一, 松崎和賢, 本位田真一
情報処理学会論文誌 47 ( 5 ) 1354 - 1362 2006.05 [Refereed]
契約による設計を用いたインタラクションの実装 (「マルチエージェントの理論と応用」特集号)
土肥 拓生, 本位田 真一
情報処理学会論文誌 47 ( 5 ) 1371 - 1381 2006.05 [Refereed]
Folksonomyマイニングに基づくWebページ推薦システム (「マルチエージェントの理論と応用」特集号)
丹羽智史, 土肥拓生, 本位田真一
情報処理学会論文誌 47 ( 5 ) 1382 - 1392 2006.05 [Refereed]
モバイルエージェントの合意に基づいた協調とサービス管理
石川 冬樹, 吉岡 信和, 本位田 真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) 2006.03 [Refereed] [Invited]
マルチメディアサービスのためのモバイル合成エージェント:Smartive
Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006) 2006.03 [Refereed] [Invited]
サービス指向で自律的なマルチメディアコンテンツの流通と提供
Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
Proc. of the Fifth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2006), ACM 949 - 951 2006.03 [Refereed] [Invited]
ソフトウェア設計に対するモデル駆動型検証プロセス
長野 伸一, 吉岡 信和, 田原 康之, 本位田 真一
情報処理学会論文誌 ( vol.47, no.1 ) 193 - 208 2006.03 [Refereed] [Invited]
エージェント間協調のためのプロトコルを利用したポリシー表現とその監視法の提案
吉岡信和, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) 2006.03 [Refereed] [Invited]
Incorporating agreements on service options into BPEL-based services
Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 1, PROCEEDINGS 796 - + 2006 [Refereed]
Enforcer - Efficient failure injection
Cyrille Artho, Armin Biere, Shinichi Honiden
FM 2006: FORMAL METHODS, PROCEEDINGS 4085 412 - 427 2006 [Refereed]
A modeling framework for generic agent interaction protocols
Jose Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden
DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV 4237 207 - + 2006 [Refereed]
An Architecture for Exception Management in Multu-Agent Systems
Eric Platon, Nicolas Sabouret, Shinichi Honiden
International Journal of Agent-Oriented Software Engineering 47 ( 1 ) 31 - 47 2006.01 [Refereed]
無線センサネットワークにおけるプログラミングモデル - マクロプログラミングとトラディショナルアプローチ
松崎和賢, 末永 俊一郎, 本位田真一
- suenaga 2006 [Refereed]
無線センサネットワークにおけるプログラミングモデル- プログラミングサポートとプログラミングアブストラクション
末永俊一郎, 松崎 和賢, 本位田 真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) - suenaga 2006 [Refereed]
Tag Interactions in Multi-Agent Systems: Environment Support
Eric Platon, Nicolas Sabouret, Shinichi Honiden
European Workshop on Multi-Agent Systems 2005.12
Location Scope:ロケーションアウェアソフトウェア開発支援手法の提案 (「ユビキタスITSとモバイルアプリケーション」特集号)
松崎和賢, 吉岡信和, 本位田真一
情報処理学会論文誌 ( 2005 ) 2005.12 [Refereed]
Automatic Generation of Software Component Wizards based on the Wizard Pattern
Hironori Washizaki, Shinichi Honiden, Rieko Yamamoto, Takao Adachi, Yoshiaki Fukazawa
Proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCS2 ‘05) 11 - 18 2005.12 [Refereed]
Traffic Prediction using Pheromone Model
Osamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki, Yasushi Ando, Yoshiaki Fukazawa, Shinichi Honiden
Proc. of 12th World Congress on Intelligent Transport Systems, November 6-10, 2005 2005.11 [Refereed]
Folksonomyマイニングに基づくWebページ推薦システム
丹羽智史, 土肥拓生, 本位田真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) 2005.11 [Refereed]
KAOSを用いたマルチエージェントシステムの分析支援
中川博之, 苅部卓哉, 本位田真一
2005.11 [Refereed]
位置に束縛されたモバイルエージェントによる位置依存情報の収集
鄭 顕志, 深澤 良彰, 本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) 421 - 428 2005.11 [Refereed]
アドホックネットワークのルーティングへの市場原理の適用
武藤 宏美, 鄭 顕志, 深澤 良彰, 本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) 227 - 233 2005.11 [Refereed]
A Flexible Wireless Sensor Network for Deploying Multiple Services
ISHIGURO Makoto, TEI Kenji, FUKAZAWA Yoshiaki, HONIDEN Shinichi
IPSJ SIG technical reports 2005 ( 113 ) 121 - 128 2005.11
サービス指向に基づいたマルチメディアコンテンツの自律的な流通と提供
石川 冬樹, 吉岡 信和, 本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) 2005.11 [Refereed]
Location Scope : A Conceptual Event Modeling for Location-Aware Application Development
Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
2nd International Workshop on Mobility Aware Technologies and Applications, October 17-19, 2005, Montreal, Canada 2005.10 [Refereed]
Common Metamodel of Goal-Oriented Requirements Engineering Methodologies
Yasuyuki Tahara, Shinichi Nagano, Nobukazu Yoshioka, Sshinichi Honiden
The Third International Workshop on Comparative Evaluation in Requirements Engineering Paris, France August 29, 2005 2005.10 [Refereed]
階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用 (「ソフトウェアエージェントとその応用」特集号)
石川 冬樹, 吉岡 信和, 田原 康之, 本位田 真一
電子情報通信学会論文誌 J88-D ( 9 ) 1402 - 1417 2005.09 [Refereed]
モバイルエージェントによるバッテリ切れ避難システム : EASTER (「ソフトウェアエージェントとその応用」特集号)
粂野文洋, 金子平祐, 吉岡信和, 深澤良彰, 本位田真一
電子情報通信学会論文誌 ( 2005 ) 2005.09 [Refereed]
フェロモンモデル: 交通渋滞予測への適用 (「ソフトウェアエージェントとその応用」特集号)
安藤靖志, 深澤良彰, 増谷修, 佐々木宏, 岩崎弘利, 本位田真一
電子情報通信学会論文誌 ( 2005 ) 2005.09 [Refereed]
インタラクション記述言語IOM/T (「ソフトウェアエージェントとその応用」特集号)
土肥 拓生, 吉岡 信和, 田原 康之, 本位田 真一
電子情報通信学会論文誌 ( 2005 ) 2005.09 [Refereed]
Oversensing with a softbody in the environment - Another dimension of observation
Eric Platon, Nicolas Sabouret, Shinichi Honiden
in Modeling Others from Observations at the International Joint Conference on Artificial Intelligence, Edinburgh, Scotland 2005.08
Developing Service-Oriented Compounds of Cooperative Mobile Agents
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
Workshop on Service-Oriented Computing and Agent-Based Engineering, Utrecht, The Netherlands 2005.07 [Refereed]
Agent Synthesis: Partnership and Agreement in Cooperative Mobile Agents
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2005), July 25 to 29, 2005, The Netherlands 1267 - 1268 2005.07 [Refereed]
IOM/T : An Interaction Description Language for multi-agent systems
Takuo DOI, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems, July 25 to 29, 2005,The Netherlands 778 - 785 2005.07 [Refereed]
Framework for Hierarchical Agent Synthesis and Its Multimedia Application
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
SOCABE Workshop at AAMAS2005 1267 - 1268 2005.07 [Refereed]
FRAMEWORK FOR HIERARCHICAL MOBILE AGENTS: TOWARD SERVICE-ORIENTED AGENT COMPOUND
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
7th International Conference on Enterprise Information Systems(ICEIS-2005), May 25-28 2005 - Miami/USA 275 - 282 2005.05 [Refereed]
A MODEL FOR POLICY BASED SERVICE COMMUNITY
Hironobu Kuruma, Shinichi Honiden
7th International Conference on Enterprise Information Systems(ICEIS-2005), May 25-28 2005 - Miami/USA 360 - 366 2005.05 [Refereed]
Requirements analysis to cope with the concept of environment
Eric Platon, Nicolas Sabouret, Shinichi Honiden
Second AgentLink III Technical Forum (AL3-TF2) Environments for Multiagent Systems, 28 February to 2 March 2005, Ljubljana, Slovenia 2005.03 [Refereed]
BPELに基づくサービスへのサービスオプションに関する合意の組み込み
Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
Web Technology and Internet Commerce (IAWTIC'2005) 796 - 803 2005.03 [Refereed] [Invited]
ユビキタス環境下での柔軟で管理可能なコンテンツの活動
Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
OTM Workshops, LNCS 3762, Springer-Verlag (2005). 2005.03 [Refereed] [Invited]
Webサービスとモバイルエージェントの統合のためのフレームワーク
Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
International Journal of Pervasive Computing and Communications (JPCC) ( Vol.1 Issue3 ) 227 - 245 2005.03 [Refereed] [Invited]
協調的なモバイルエージェントのサービス指向合成の開発
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
不明 2005.03 [Refereed] [Invited]
MANET上の場所に束縛されたモバイルエージェント
Kenji Tei, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden
不明 2005.03 [Refereed] [Invited]
階層型エージェント合成のためのフレームワークとそのマルチメディアアプリケーション応用
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
不明 2005.03 [Refereed] [Invited]
階層型に拡張されたモバイルエージェントフレームワークとそのマルチメディアアプリケーション応用
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
7th International Conference on Enterprise Information Systems(ICEIS-2005) 2005.03 [Refereed] [Invited]
自己制御型コンテンツのポリシーに基づく開発支援手法の提案
松崎和賢, 吉岡信和, 本位田真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) (2005). 2005.03 [Refereed] [Invited]
契約による設計を用いたインタラクションの実装
土肥拓生, 吉岡信和, 田原康之, 本位田真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) (2005). 2005.03 [Refereed] [Invited]
モバイルBPEL4WSプロセスのための形式モデル
Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
International Journal of Business Process Integration and Management (IJBPIM). Vol.1 ( Issue3 ) 2005.03 [Refereed] [Invited]
分散システム開発におけるモデル検査への視覚的支援手法
田原 康之, 吉岡 信和, 大須賀 昭彦, 本位田 真一
情報処理学会論文誌 46 ( 2 ) 459 - 469 2005.02
T-compound interaction and overhearing agents
E Platon, N Sabouret, S Honiden
ENGINEERING SOCIETIES IN THE AGENTS WORLD V 3451 90 - 105 2005 [Refereed]
Introducing participative personal assistant teams in negotiation support systems
E Platon, S Honiden
INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS 3371 178 - 192 2005
Bridging the gap between AUM/T and implementation using IOM/T
T Doi, N Yoshioka, Y Tahara, S Honiden
PROGRAMMING MULTI-AGENT SYSTEMS 3346 147 - 162 2005 [Refereed]
Using mobile agent for location-specific data retrieval in MANET
K Tei, N Yoshioka, Y Fukazawa, S Honiden
INTELLIGENCE IN COMMUNICATION SYSTEMS 190 157 - 168 2005 [Refereed]
Mobeet: A multi-agent framework for ubiquitous information systems
N Yoshioka, A Ohsuga, S Honiden
AGENT-ORIENTED INFORMATION SYSTEMS II 3508 19 - 35 2005
Knowledge based design method of agent protocols
Kazunori Matsumoto, Tetsuhiro Miyahara, Yasuo Nagai, Shinichi Honiden
WMSCI 2005: 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Vol 1 381 - 386 2005 [Refereed]
Pheromone model: Application to traffic congestion prediction
Yasushi Ando, Osamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki, Yoshiaki Fukazawa, Shinichi Honiden
ENGINEERING SELF-ORGANISING SYSTEMS 3910 182 - 196 2005 [Refereed]
Modelling interactions in assistant teams
E Platon, S Honiden, N Sabouret
Proceedings of the 2005 International Conference on Active Media Technology (AMT 2005) 383 - 388 2005 [Refereed]
ゴール指向要求工学の体系化のための共通用語 (掲載予定)
田原 康之, 長野 伸一, 吉岡 信和, 本位田 真一
情報処理学会論文誌 2005.01 [Refereed]
オブジェクト指向によるセマンティックWeb開発方法論 - オントロジ構築を中心に -
田原 康之, 本位田 真一
コンピュータソフトウェア 22 ( 4 ) 40 - 45 2005.01 [Refereed]
Object-oriented software development using constraint-based Modeling
Yasuo Nagai, Kazunori Matsumoto, Tetsuhiro Miyahara, Shinichi Honiden
WMSCI 2005: 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Vol 1 396 - 402 2005 [Refereed]
Application of the μPlangent intelligent mobile agent architecture for embedded systems to the inspection of power systems
Kenta Cho, Yutaka Irie, Akihiko Ohsuga, Katsuhiko Sekiguchi, Shinichi Honiden
Systems and Computers in Japan 36 ( 4 ) 60 - 70 2005 [Refereed]
picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing
Kenta Cho, Hisashi Hayashi, Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden
Intelligent Agents and Multi-Agent Systems (post-proceedings of PRIMA2004), Lecture Notes in Computer Science 3371 43 - 56 2005 [Refereed] [Invited]
A multiagent framework for pervasive computing: The Mobeet framework
N Yoshioka, A Ohsuga, S Honiden
ELECTRICAL ENGINEERING IN JAPAN 149 ( 3 ) 49 - 64 2004.11 [Refereed]
階層型モバイルエージェントの自律的な合成のための記述とその基盤に関する検討
石川 冬樹, 田原 康之, 吉岡 信和, 本位田 真一
第11 回ソフトウェア工学の基礎ワークショップ (FOSE2004) 61 - 64 2004.11 [Refereed]
T-shaped Interaction Compounds and Listening Agents (to appear)
E. Platon, N. Sabouret, S. Honiden
Third International Workshop on Agent-Oriented Methodologies Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA2004) October 24, 2004 - Vancouver, Canada 2004.10 [Refereed]
Location-aware Application Development Methodology using Mobile Agent-based System
K. Matsuzaki, N. Yoshioka, S. Honiden
International Workshop on Mobility Aware Technologies and Applications (MATA2004), October 20-22, 2004 - Florian?polis, Brazil 2004.10 [Refereed]
ホットスポットにおけるリソースレンタルシステムの提案と評価
武藤宏美, 鄭顕志, 田原康之, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム(JAWS2004) 27 - 34 2004.10 [Refereed]
階層型モバイルエージェントの合成における合意記述
石川 冬樹, 田原 康之, 吉岡 信和, 本位田 真一
合同エージェントワークショップ&シンポジウム2004(JAWS2004) 50 - 58 2004.10 [Refereed]
コンテンツカプセル化エージェントの動作制御のためのポリシーモデル
NGUYEN Khanh Ngoc, 石川冬樹, 田原康之, 本位田真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004) 2004年10月27日-29日 2004.10 [Refereed]
A multi-agent framework for ubiquitous information system: mobeet framework
N. Yoshioka, S. Honiden
Sixth International Bi-Conference Workshop on AGENT-ORIENTED INFORMATION SYSTEMS (AOIS-2004), July 20, 2004 2004.07 [Refereed]
Toward Synthesis of Web Services and Mobile Agents
F. Ishikawa, N. Yoshioka, Y. Tahara, S. Honiden
AAMAS'2004 Workshop on Web Services and Agent-based Engineering (WSABE), July 19, 2004 - New York, USA 2004.07 [Refereed]
A Specification Language for Mobile Agent Applications
Y. Tahara, A. Ohsuga, S. Honiden, Pigeon
The Third International Joint Conference on Autonomous Agents & Multi Agent Systems(AAMAS-04), July 19-23, 2004 1356 - 1357 2004.07 [Refereed]
パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム
石川冬樹, 吉岡信和, 本位田真一
電子情報通信学会論文誌 J87-D ( 7 ) 782 - 795 2004.07 [Refereed]
Bridging the Gap between AUML and Implementation using FOPL
Takuo Doi, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
Proc. of the Second International Workshop on Programming Multi-Agent Systems(ProMAS 2004) 69 - 78 2004.07 [Refereed]
Webサービス連携のためのモバイルエージェント動作記述 (「オブジェクト指向とWeb技術」特集号)
石川冬樹, 田原康之, 吉岡信和, 本位田真一
情報処理学会論文誌 45 ( 6 ) 1593 - 1602 2004.06 [Refereed]
ユビキタス環境のためのエージェント指向ソフトウェアの開発と応用
吉岡信和, 大須賀昭彦, 本位田真一
システム/制御/情報 48 ( 11 ) 22 - 27 2004.05 [Refereed]
モバイルエージェントを用いたユビキタスアプリケーション開発法
Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
International Workshop on Ubiquitous Computing (IWUC 2004) 2004.04 [Refereed] [Invited]
Ubiquitous Application Development using a Mobile Agent-based System
K. Matsuzaki, N. Yoshioka, S. Honiden
International Workshop on Ubiquitous Computing (IWUC 2004), April 13-14, 2004 - Porto, Portugal 204 - 212 2004.04 [Refereed]
Mobile Agent System for Web Services Integration in Pervasive Networks
F. Ishikawa, N. Yoshioka, Y. Tahara, S. Honiden
International Workshop on Ubiquitous Computing (IWUC 2004), April 13-14, 2004 - Porto, Portugal 38 - 47 2004.04 [Refereed]
パターンを用いたセキュアなモバイルエージェントシステム設計法
吉岡信和, 田原康之, 大須賀昭彦, 本位田真一
情報処理学会論文誌 45 ( 3 ) 842 - 857 2004.03
ロジック書き換えパターンの検証方法の提案
吉岡信和, 本位田真一
ソフトウェア工学の基礎XI,日本ソフトウェア科学会 2004.03 [Refereed] [Invited]
マルチメディアコンテンツ流通のためのモバイルエージェントのモデル駆動開発
苅部卓哉, 吉岡信和, 田原康之, 本位田真一
ソフトウェア工学の基礎XI,日本ソフトウェア科学会 2004.03 [Refereed] [Invited]
マルチエージェントシステムのためのインタラクション主導開発におけるシステム分析
土肥拓生, 吉岡信和, 田原康之, 本位田真一
ソフトウェア工学の基礎XI,日本ソフトウェア科学会 2004.03 [Refereed] [Invited]
P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築
鄭顕志, 吉岡信和, 深澤良彰, 本位田真一
ソフトウェア工学の基礎XI,日本ソフトウェア科学会 2004.03 [Refereed] [Invited]
位置指向設計プロセス:モバイル環境における状況依存アプリケーションのアスペクト指向設計
松崎和賢, 吉岡信和, 本位田真一
ソフトウェア工学の基礎XI,日本ソフトウェア科学会 2004.03 [Refereed] [Invited]
位置情報を利用するエージェントのロケーション指向設計
松崎和賢, 吉岡信和, 本位田真一
エージェント合同シンポジウム(JAWS 2004)論文集 2004.03 [Refereed] [Invited]
マルチエージェントシステムのインタラクション主導要求分析
土肥拓生, 吉岡信和, 田原康之, 本位田真一
エージェント合同シンポジウム(JAWS 2004)論文集 2004.03 [Refereed] [Invited]
P2P グリッドにおけるサービスの効率的障害退避
鄭顕志, 吉岡信和, 深澤良彰, 本位田真一
エージェント合同シンポジウム(JAWS 2004)論文集 2004.03 [Refereed] [Invited]
アクティブコンテンツ:コンテンツ流通のためのモバイルエージェントフレームワーク
苅部卓哉, 吉岡信和, 田原康之, 本位田真一
エージェント合同シンポジウム(JAWS 2004)論文集 2004.03 [Refereed] [Invited]
モバイルエージェントを使ったLocation-awareアプリケーションの開発法
Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
Proc. of International Workshop on Mobility Aware Technologies and Applications (MATA2004), LNCS 3284 13 - 26 2004.03 [Refereed] [Invited]
Webサービスとモバイルエージェントの統合
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
AAMAS'2004 Workshop on Web Services and Agent-based Engineering (WSABE) (2004). 2004.03 [Refereed] [Invited]
Webサービス連携のためのモバイルエージェントのビヘイビア記述
Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
2004 IEEE International Conference on Web Services (ICWS 2004) 342 - 349 2004.03 [Refereed] [Invited]
パーベイシブコンピューティングのためのマルチエージェントフレームワーク: Mobeetフレームワーク
N. Yoshioka, A. Ohsuga, S. Honiden
Electrical Engineering in Japan,John Wiley & Sons, Inc ( Vol.149, Issue 3 ) 49 - 64 2004.03 [Refereed] [Invited]
パターンに基づくモバイル環境のためのモバイルエージェントフレームワーク
Nobukazu Yoshioka, Shinichi Honiden
Proc. of International Workshop on Mobility Aware Technologies and Applications (MATA2004), LNCS 3284, Springer-Verlag, 369 - 380 2004.03 [Refereed] [Invited]
Software design method for agent-systems from scenarios
K Matsumoto, S Honiden
COMPUTERS AND THEIR APPLICATIONS 136 - 141 2004 [Refereed]
ユビキタスネットワークに対応した動的パターン適用に基づくモバイルエージェントシステム構築法
吉岡信和, 本位田真一
情報処理学会論文誌 45 ( 1 ) 12 - 23 2004.01 [Refereed]
A pattern oriented mobile agent framework for mobile computing
N Yoshioka, S Honiden
MOBILITY AWARE TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS 3284 369 - 380 2004 [Refereed]
A Model for Federation of Service Communities on the Web
Hironobu Kuruma, Shinichi Honiden
IPSJ Journal 45 ( 6 ) 1593 - 1602 2004 [Refereed]
モバイルエージェントによる柔軟なコンテンツ流通を実現するアクティブコンテンツ
吉岡信和, 田原康之, 本位田真一
情報処理学会論文誌:データベース 44 ( SIG18 ) 45 - 57 2003.12 [Refereed]
エージェントフレームワークを用いた車載端末向け情報提供システムの構築と評価
服部 正典, 長 健太, 大須賀 昭彦, 本位田 真一, 深澤 良彰
情報処理学会論文誌 44 ( 12 ) 3024 - 3037 2003.12
Webサービス連携のためのモバイルエージェント動作記述
石川 冬樹, 田原 康之, 吉岡 信和, 本位田 真一
第10回ソフトウェア工学の基礎ワークショップ (FOSE'03) 197 - 200 2003.11 [Refereed]
A Security Architecture or Collaboration Among Many and Unspecifiled Agents
Y. Okataku, H. Okutomi, N. Yoshioka, S. Honiden
8th International Workshop on Mobile Multimedia Communications (MoMuC2003), Oct. 6-8 2003, Munich, Germany 2003.10 [Refereed]
モバイルエージェントによるWebサービス連携モデル
石川 冬樹, 吉岡 信和, 田原 康之, 本位田 真一
合同エージェントシンポジウム&ワークショップ (JAWS2003) 168 - 175 2003.10 [Refereed]
A Security Architecture for Collaboration Among Many and Unspecified Agents
Y. Ohtsuka, H. Okutomi, N. Yoshioka, S. Honiden
8th International Workshop on Mobile Multimedia Communications (MoMuC2003), Oct.6-8, 2003, Munich, Germany 2003.10 [Refereed]
Integrating Multiple Internet Directories by Instance-based Learning Subtitle
Shinichi Honiden
Eighteenth International Joint Conference in Artificial Intelligence (IJCAI-03) 132 - 141 2003.08 [Refereed]
ユビキタス環境におけるContext-Awareなパーソナルエージェントの構築とその実証実験
服部正典, 大須賀昭彦, 本位田真一
電子情報通信学会論文誌 J86-D1 ( 8 ) 543 - 552 2003.08 [Refereed]
モバイルエージェントアプリケーションのための仕様記述言語Pigeon
田原康之, 大須賀昭彦, 本位田真一
電子情報通信学会論文誌 J86-D1 ( 8 ) 532 - 542 2003.08 [Refereed]
Integrating Multiple Internet Directories by Instance-based Learning
R. Ichise, H. Takeda, S. Honiden
Eighteenth International Joint Conference in Artificial Intelligence (IJCAI-03) 2003.08 [Refereed]
A Goal Model Elaboration for Localizing Changes in Software Evolution
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
21st IEEE International Requirements Engineering Conference (RE'13) 2003.07 [Refereed]
パターンを利用したセキュアかつ効率的なモバイルエージェントアプリケーション開発
田原康之, 大須賀昭彦, 本位田真一
情報処理学会論文誌 44 ( 6 ) 1483 - 1497 2003.06 [Refereed]
モバイルアプリケーションのためのエージェントプラットフォームMolFie
粂野文洋, 本位田真一
電子情報通信学会論文誌 J86-B ( 3 ) 362 - 375 2003.03 [Refereed]
アドホックネットワークにおけるエージェント間共同作業のための認証機構
岡宅靖邦, 吉岡信和, 本位田真一
電子情報通信学会論文誌 J86-B ( 3 ) 419 - 427 2003.03 [Refereed]
エージェントのペアリングによる再利用性と動的環境適応性を考慮に入れた記述分離
松崎和賢, 吉岡信和, 本位田真一
ソフトウェア工学の基礎X,日本ソフトウェア科学会 2003.03 [Refereed] [Invited]
UMLを用いたセキュアなアプリケーション開発のための支援手法
苅部卓哉, 吉岡信和, 本位田真一
ソフトウェア工学の基礎X,日本ソフトウェア科学会 2003.03 [Refereed] [Invited]
エージェント間プロトコル記述言語FOPLの提案
土肥拓生, 吉岡信和, 本位田真一
ソフトウェア工学の基礎X,日本ソフトウェア科学会 2003.03 [Refereed] [Invited]
モバイルエージェントによるデジタルコンテンツ流通
苅部卓哉, 吉岡信和, 田原康之, 本位田真一
エージェント合同シンポジウム(JAWS 2003)論文集 2003.03 [Refereed] [Invited]
インタラクションプロトコル記述言語FOPL
土肥拓生, 吉岡信和, 田原康之, 本位田真一
エージェント合同シンポジウム(JAWS 2003)論文集 2003.03 [Refereed] [Invited]
アドホックなサービス利用を援するエージェントプラットフォーム拡張の提案
松崎和賢, 吉岡信和, 田原康之, 本位田真一
エージェント合同シンポジウム (JAWS 2003) 論文集 2003.03 [Refereed] [Invited]
モバイルエージェントを用いた小規模Grid 構築
鄭顕志, 吉岡信和, 本位田真一, 深澤良彰
エージェント合同シンポジウム(JAWS 2003)論文集 2003.03 [Refereed] [Invited]
バッテリー切れを考慮したモバイルエージェントを使ったシステム退避システム: Easter
H. Kaneko, Y. Fukazawa, F. Kumeno, N. Yoshioka, S. Honiden
不明 2003.03 [Refereed] [Invited]
不特定多数のエージェントの協調のためのセキュリティアーキテクチャ
Y. Okataku, H. Okutomi, N. Ohgishi, N. Yoshioka, S. Honiden
8th International Workshop on Mobile Multimedia Communications, (2003). 2003.03 [Refereed] [Invited]
Context-aware agent platform in ubiquitous environments and its verification
M. Hattori, K. Cho, A. Ohsuga, M. Ishiki, S. Honiden
IEEE International Conference on Pervasive Computing and Communications 2003.03 [Refereed]
Context-aware agent platform in ubiquitous environments and its verification tests
M Hattori, K Cho, A Ohsuga, M Isshiki, S Honiden
PROCEEDINGS OF THE FIRST IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM 2003) 547 - 552 2003 [Refereed]
Mobile agent based evacuation system when the battery runs out: EASTER
H Kaneko, Y Fukazawa, F Kumeno, N Yoshioka, S Honiden
PROCEEDINGS OF THE FIRST IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM 2003) 460 - 469 2003 [Refereed]
Context-aware agent platform in ubiquitous environments and its verification tests
M Hattori, K Cho, A Ohsuga, M Isshiki, S Honiden
PROCEEDINGS OF THE FIRST IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM 2003) 547 - 552 2003 [Refereed]
A formal model of active contents based on the ambient calculus
Y Tahara, N Yoshioka, S Honiden
MOBILE AGENTS FOR TELECOMMUNICATION APPLICATIONS, PROCEEDINGS 2881 132 - 141 2003 [Refereed]
Planning mobile agent architecture for realizing mobile intelligence
M Hattori, A Ohsuga, S Honiden
PDPTA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-4 1026 - 1032 2003 [Refereed]
Interoperability for Mobile Agents by incarnation Agents
T. Hasegawa, K. Cho, F. Kumeno, S. Nakajima, A.Ohsuga, S. Honiden
Scecond International Conference on Autonomous agents and Multiagent Systems (AAMAS-03) 2003.01 [Refereed]
An Experimental Trial of Shopping Assistance Service Based on Ubiquitous Personalize Agent
Hattori Masanori, Akihiko Ohsuga, Seki Toshibumi, Masao Isshiki, Shinichi Honiden
IEEJ Transactions on Electronics, Information and Systems 123 ( 11 ) 2010 - 2019 2003 [Refereed]
A formal model of active contents based on the ambient calculus
Y Tahara, N Yoshioka, S Honiden
MOBILE AGENTS FOR TELECOMMUNICATION APPLICATIONS, PROCEEDINGS 2881 132 - 141 2003 [Refereed]
Planning mobile agent architecture for realizing mobile intelligence
M Hattori, A Ohsuga, S Honiden
PDPTA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-4 1026 - 1032 2003 [Refereed]
An Experimental Trial of Shopping Assistance Service Based on Ubiquitous Personalize Agent
Hattori Masanori, Akihiko Ohsuga, Seki Toshibumi, Masao Isshiki, Shinichi Honiden
IEEJ Transactions on Electronics, Information and Systems 123 ( 11 ) 2010 - 2019 2003 [Refereed]
Evaluation of a multi agent framework for open distributed systems
N Yoshioka, T Kawamura, A Ohsuga, S Honiden
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E85A ( 11 ) 2396 - 2406 2002.11 [Refereed]
PCクラスタ対応マルチエージェントフレームワーク
吉岡信和, 鄭顕志, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム(JAWS2002) 119 - 130 2002.11 [Refereed]
オープン分散システムのためのマルチエージェントフレームワークの評価
Nobukazu Yoshioka, Takahiro Kawamura, Akihiko Ohsuga, Shinichi Honiden
IEICE TRANS. FUNDAMETALS VOL.E85-A ( NO.11 ) 2396 - 2406 2002.11 [Refereed] [Invited]
Webサービス連携エージェントのためのビヘイビアルール記述言語
石川 冬樹, 吉岡 信和, 本位田 真一
エージェント合同シンポジウム (JAWS 2002) 353 - 363 2002.11 [Refereed]
Pattern based Design for Secure and Safe Mobile Agent Systems
N. Yoshioka, Y. Tahara, S. Honiden, A. Ohsuga
Artificial and Computational Intelligence (ACI 2002) 365 - 117 2002.09
Planning Mobile Agent Architecture for Realizing Mobile Intteligence
Shinichi Honiden
The 2003 International Conference on Parallel and Distributed Processing Techniques and Applications 1026 - 1032 2002.06 [Refereed]
共生/寄生エージェントモデルによる発展的P2Pアプリケーション構築法
飯島正, 本位田真一, 土居範久
情報処理学会論文誌 43 ( 6 ) 1563 - 1581 2002.06 [Refereed]
IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現
田原康之, 大須賀昭彦, 本位田真一
情報処理学会論文誌 43 ( 6 ) 1582 - 1597 2002.06 [Refereed]
知識共生 - 新しい知識流通の基盤を目指して -
武田英明, 市瀬龍太郎, 村田剛志, 本位田真一
人工知能学会全国大会(第16回)論文集 (CDROM) 2002.06
組み込み機器向け知的移動エージェントμPlangentを用いた電力系統巡視システム
長健太, 入江豊, 大須賀昭彦, 関口勝彦, 本位田真一
電子情報通信学会論文誌 J85-D1 ( 5 ) 465 - 475 2002.05 [Refereed]
携帯電話アプリケーション開発のためのスクリプトシステムの提案
直原正樹, 吉岡信和, 深澤良彰, 本位田真一
エージェント合同シンポジウム (JAWS 2002)論文集 461 - 462 2002.03 [Refereed] [Invited]
モバイル端末連携支援Bee-gent 拡張フレームワーク
松崎和賢, 吉岡信和, 本位田真一
エージェント合同シンポジウム(JAWS 2002)論文集 321 - 322 2002.03 [Refereed] [Invited]
モバイルエージェントによるバッテリ切れ避難システム : Easter
金子平祐, 深澤良彰, 粂野文洋, 吉岡信和, 本位田真一
エージェント合同シンポジウム(JAWS 2002)論文集 314 - 320 2002.03 [Refereed] [Invited]
パターンを利用したセキュアかつ効率的なモバイルエージェントアプリケーション開発
田原康之, 吉岡信和, 大須賀昭彦, 本位田真一
情報処理学会 43 - 50 2002.03 [Refereed] [Invited]
PCクラスタに対応したマルチエージェントシステムの提案
吉岡信和, 鄭顕志, 深澤良彰, 本位田真一
エージェント合同シンポジウム (JAWS 2002)論文集 353 - 363 2002.03 [Refereed] [Invited]
コンポーネントベース・フレームワーク開発手法におけるコンポーネントの形式的仕様記述
吉田和樹, 本位田真一
電子情報通信学会論文誌 J85-D1 ( 2 ) 210 - 227 2002.02 [Refereed]
コンポーネントベース・フレームワーク開発手法におけるコンポーネントの抽出・設計方法論
吉田和樹, 本位田真一
情報処理学会論文誌 43 ( 1 ) 156 - 175 2002.01 [Refereed]
An Examination of the Relationships between Internet Directories
R. Ichise, H. Takeda, S. Honiden
Proceedings of the EKAW-02 Workshop on Knowledge Management through Corporate Semantic Web 2002.01 [Refereed]
Development of Distributed Power Outage Scheduling System by Using Bee-gent
T. Kawamura, T. Hasegawa, T. Seki, A. Ohsuga, S. Honiden
Electrical Engineering in Japan, John Wiley & Sons, Inc. 139 ( 3 ) 62 - 72 2002 [Refereed]
開放型分散環境におけるプランニングモバイルエージェントアーキテクチャの提案
服部正典, 大須賀昭彦, 本位田真一
電子情報通信学会論文誌 J84-D-1 ( 8 ) 1169 - 1180 2001.08 [Refereed]
Designing multi-agent systems based on pairwise agent interactions
T Kawamura, S Joseph, A Ohsuga, S Honiden
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E84D ( 8 ) 968 - 980 2001.08 [Refereed]
An alignment algorithm between concept hierarchies
Ryutaro ICHISE, Hideaki TAKEDA, Shinichi HONIDEN
Technical Report ( NII-20 ) 2001.05
A Constraint-Based Approach to Information Visualization for XML
Hiroshi Hosobe, Shinichi Honiden
Proceedings of the Interaction 2001 Symposium, IPSJ Symposium Series 2001 ( 5 ) 83 - 90 2001.03 [Refereed]
Rule Induction for Concept Hierarchy Alignment
Shinichi Honiden
Proceedings of the IJCAI-01 Workshop on Ontology Learning (OL-2001) 2001 [Refereed]
Automated Alignment of Multiple Internet Directories
Shinichi Honiden
Poster Proceedings of the 10th International World Wide Web Conference 194 - 195 2001 [Refereed]
Mobile Agent Security with the IPEditor, Development Tool and the Mobile UNITY Language
Shinichi Honiden
Agents 2001 656 - 662 2001 [Refereed]
Secure and Efficient Mobile Agent Application Reuse Using Patterns
Shinichi Honiden
Symposium on Software Reusability (SSR2001) (2001) 78 - 85 2001 [Refereed]
Planning mobile agent architecture for open network environment
Shinichi Honiden
Symposium on Software mobility and adaptive behavior, AISB’01 Convention (2001) 2001 [Refereed]
Wwwにおける情報源に関する知識の共生
市瀬龍太郎, 武田英明, 本位田真一
情報処理学会研究報告「知能と複雑系」 ( 124 ) 33 - 40 2001.01
インスタンスに基づく階層的知識源の統合
市瀬龍太郎, 武田英明, 本位田真一
人工知能学会研究会資料「AIチャレンジ研究会」 ( SIG-Ch ) 61 - 66 2001.01
知識共生プロジェクト
武田英明, 市瀬龍太郎, 村田剛志, 本位田真一
情報処理学会研究報告「知能と複雑系」 ( 124 ) 25 - 32 2001.01 [Invited]
マルチエージェントフレームワークBee-gentを用いた電力系統作業停止計画向け分散スケジューリングシステムの開発
川村隆浩, 長谷川哲夫, 関俊文, 大須賀昭彦, 本位田真一
電気学会論文誌 120-C ( 12 ) 2003 - 2011 2000.12 [Refereed]
Qualitative Evaluation of Pair wise Interaction between Agents
Shinichi Honiden
The Joint Symposium ASA/MA 2000 192 - 205 2000.09 [Refereed]
Intelligent Mobile Agent System on the Internet
Shinichi Honiden
SSGRR 2000, International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet 2000.08 [Refereed]
Autonomous adaptation by mobile agent and thesaurus
F Kumeno, A Ohsuga, S Honiden
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E83D ( 4 ) 679 - 690 2000.04 [Refereed]
セーフティ・セキュリティを考慮したモバイルエージェントの開発法,オブジェクト指向シンポジウム2000
吉岡信和, 田原康之, 大須賀昭彦, 本位田真一
情報処理学会 33 - 40 2000.03 [Refereed] [Invited]
A Methodology For Safety Of Mobile Agents
Shinichi Honiden
International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000) 2000 [Refereed]
Agent communication language patterns and their tool support
Shinichi Honiden
International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000) 2000 [Refereed]
Quantitative Evaluation of Pairwise Interactions between Agents (SAA ver.)
T. Kawamura, S. Joseph, A. Ohsuga, S. Honiden
Proceedings of Workshop on Software Agent and its Applications (SAA 2000) 257 - 268 2000 [Refereed]
Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems
T. Kawamura, T. Hasegawa, A. Ohsuga, S. Honiden
Systems and Computers in Japan, John Wiley & Sons, Inc. 31 ( 13 ) 42 - 56 2000 [Refereed]
異なる知識体系間における知識交換規則の学習
市瀬龍太郎, 武田英明, 本位田真一
マルチ・エージェントと協調計算研究会(MACC-2000) ( MACC-2 ) 2000.01
ビヘイビアパターンに基づくモバイルエージェントシステム開発手法
田原康之, 大須賀昭彦, 本位田真一
情報処理学会論文誌 40 ( 12 ) 4319 - 4332 1999.12 [Refereed]
Bee-gent:移動型仲介エージェントによる既存システムの柔軟な活用を目的としたマルチエージェントフレームワーク
川村隆浩, 田原康之, 長谷川哲夫, 大須賀昭彦, 本位田真一
電子情報通信学会論文誌 J82-D-1 ( 9 ) 1165 - 1180 1999.09 [Refereed]
Agent System Development Method based on Agent Patterns
Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
Proc. 4th International Symposium on Autonomous Decentralized Systems (ISADS'99) ISADS1999 261 - 263 1999.03 [Refereed]
InfoMirror: Agent-based Information Assistance to Drivers
Shinichi Honiden
Proc. International Conference on Intelligent Transportation systems (ITSC99), IEEE/IEEJ/JSAI (1999) 734 - 739 1999 [Refereed]
Agent System Development Method based on Agent Patterns
Shinichi Honiden
The 21st International Conference on Software Engineering (ICSE 99) 356 - 367 1999 [Refereed]
Agent-based Drivers' Information Assistance System
M Hattori, N Kase, A Ohsuga, S Honiden
NEW GENERATION COMPUTING 17 ( 4 ) 359 - 367 1999 [Refereed]
Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems(APSEC ver.)
T. Kawamura, T. Hasegawa, A. Ohsuga, S. Honiden
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC 99) 260 - 267 1999 [Refereed]
Flage: A programming language for adaptive software
F Kumeno, A Ohsuga, S Honiden
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E81D ( 12 ) 1394 - 1403 1998.12 [Refereed]
Application of algebraic specification to verify the design of safety logic in nuclear power plants
A Fukumoto, T Hayashi, A Ohsuga, S Honiden, N Mori
NUCLEAR TECHNOLOGY 124 ( 3 ) 255 - 264 1998.12 [Refereed]
Plangent: An Intelligent Agent System for Network Computing
Shinichi Honiden
ICSE’98 International Workshop on Computing and Communications in the Presence of Mobility 1998 [Refereed]
制約処理パターンを用いたオブジェクト指向ソフトウェア開発
永井保夫, 大須賀昭彦, 本位田真一
コンピュータソフトウェア 15 ( 1 ) 2 - 23 1998.01 [Refereed]
Hypersequential programming - A new way to develop concurrent programs
N Uchihira, S Honiden, T Seki
IEEE CONCURRENCY 5 ( 3 ) 44 - & 1997.07 [Refereed]
オブジェクト指向におけるリフレクションの代数的意味論
田原康之, 粂野文洋, 大須賀昭彦, 本位田真一
情報処理学会論文誌 38 ( 4 ) 826 - 834 1997.04 [Refereed]
A Framework for Adaptive Software by Agent and Thesaurus
Shinichi Honiden
The Ninth International Conference on Software Engineering & Knowledge Engineering, Madrid 1997 [Refereed]
Program Development with Reuse of Programming Processes The Ninth International Conference on Software Engineering & Knowledge Engineering
Shinichi Honiden
Madrid 1997 [Refereed]
データ中心アプローチとユースケースに基づくオブジェクト指向フレームワーク構築手法
名取万里, 加賀谷聡, 本位田真一
情報処理学会論文誌 38 ( 3 ) 634 - 656 1997 [Refereed]
Three Phase Net - oriented Software Design Method
UCHIHIRA Naoshi, HONIDEN Shinichi
Transactions of Information Processing Society of Japan 38 ( 1 ) 101 - 113 1997.01 [Refereed]
EVA:仕様変更プロセスを用いたプログラム開発支援システム
松浦佐江子, 来間啓伸, 本位田真一
情報処理学会論文誌 38 ( 1 ) 114 - 130 1997.01 [Refereed]
A high-level Petri net for accurate modeling of reactive and concurrent systems
N Uchihira, S Honiden
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E79A ( 11 ) 1797 - 1808 1996.11 [Refereed]
企業情報システムの要求分析のためのドメインモデル
斉藤康彦, 本位田真一
情報処理学会論文誌 37 ( 10 ) 1829 - 1838 1996.10 [Refereed]
Formal Semantics of Agent Evolution in the Language Flage Object-Based Parallel and Distributed Computation
Shinichi Honiden
Jean-Pierre Briot, Jean-Marc Geib and Akinori Yonezawa (Eds), LNCS 1107 1996.08 [Refereed]
協調アーキテクチャに基づくソフトウェア・モジュールの仕様記述モデル
来間啓伸, 大須賀昭彦, 本位田真一
情報処理学会論文誌 37 ( 6 ) 1171 - 1186 1996.06 [Refereed]
Metis-AS: A Term Rewriting Based System for Algebraic Specifications
Akihiko Ohsuga, Shinichi Honiden
Proc. 10th Japan-Germany Forum on Information Technology ICMAS1996 1996.04 [Refereed]
Hyperseaquential Programming-a novel paradigm for concurrent programming
Shinichi Honiden
Software Engineering for Parallel and Distributed Systems 1996 62 - 73 1996.03 [Refereed]
ドメイン分析に基づく仕様再利用手法
名取万里, 加賀谷聡, 本位田真一
情報処理学会論文誌 37 ( 3 ) 393 - 408 1996.03 [Refereed]
Hypersequential Programming-A Novel Paradigm for Concurrent Programming 1st International Workshop on Software Engineering for Parallel and Distributed Systems
Shinichi Honiden
Berlin 1996 [Refereed]
Reuse of design processes based on domain analysis
M Natori, A Kagaya, S Honiden
FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE REUSE, PROCEEDINGS 31 - 40 1996 [Refereed]
An algebraic semantics of reflective objects
Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga, Shinichi Honiden
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1049 173 - 189 1996 [Refereed]
Formal Semantics of Agent Evolution in the Language Flage
Shinichi Honiden
Proc. of 3rd ModelAge Workshop 'Formal Models of Agents' 1996.01 [Refereed]
Evolutional Agents: Field-Oriented Programming Language, Flage
Shinichi Honiden
Flage Proc. of Asia-Pacific Software Engineering Conference, APSEC'95 189 - 198 1995.12 [Refereed]
Knowledge Acquisition and Integration on Specification Change- A Method for Systematic Reuse
Shinichi Honiden
Proc. of Asia-Pacific Software Engineering Conference, APSEC'95 364 - 373 1995.12 [Refereed]
Automatic Verification of Consistency between State Transition Diagram and Logic Diagram for Process Control
Shinichi Honiden
Safety and Reliability in Emerging Control Technologies 1995.11 [Refereed]
AN ANALYSIS OF SIMULATION BETWEEN PETRI NETS THROUGH REWRITING LOGIC
Y TAHARA, S HONIDEN
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E78A ( 11 ) 1498 - 1503 1995.11 [Refereed]
仕様変更プロセスの効果的な再利用:まね方をまねる
松浦佐江子, 本位田真一
情報処理学会論文誌 36 ( 11 ) 2666 - 2680 1995.11 [Refereed]
Integration of Framework Components by Reusing Design Processes
Shinichi Honiden
The 10th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications(OOPSLA'95), Workshop #27,Framework-Centered Software Development 1995.10 [Refereed]
The Agent Oriented Language Plangent
Shinichi Honiden
The 10th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications(OOPSLA'95), Workshop #1,Objects, Scripts, and the Web 1995.10 [Refereed]
COOAD - A CASE TOOL FOR OBJECT-ORIENTED ANALYSIS AND DESIGN
J YAMAMOTO, A OHSUGA, S HONIDEN
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 5 ( 3 ) 367 - 389 1995.09 [Refereed]
代数仕様技術によるオブジェクト指向分析設計の検証支援
山本純一, 大須賀昭彦, 本位田真一
情報処理学会論文誌 36 ( 5 ) 1070 - 1080 1995.05 [Refereed]
代数的仕様を用いたソフトウェア開発環境:Metis-AS
本位田真一
情報処理学会論文誌 36 ( 5 ) 1192 - 1202 1995.05 [Refereed]
仕様変更のプログラムへの写像:仕様変更プロセスを利用したプログラム合成
松浦佐江子, 本位田真一
情報処理学会論文誌 36 ( 5 ) 1211 - 1227 1995.05 [Refereed]
RELIABILITY AND SAFETY OF REAL-TIME SYSTEMS
W EVERETT, S HONIDEN
IEEE SOFTWARE 12 ( 3 ) 13 - 16 1995.05 [Refereed]
代数的仕様を用いたソフトウェア開発支援環境Metis-AS
大須賀昭彦, 坂井公, 本位田真一
情報処理学会論文誌 36 ( 5 ) 1192 - 1202 1995.05 [Refereed]
Compositional Adjustment of Concurrent Programs to Satisfy Temporal Logic Constraints in MENDELS ZONE
Shinichi Honiden
Proc. of HICSS-28 359 - 368 1995.01 [Refereed]
Object-Oriented Analysis and Design Support System Using Algebraic Specification Techniques
Shinichi Honiden
Proc. of First Asia-Pacific Software Engineering Conference 388 ( 397 ) 1994.12 [Refereed]
Refutationally Complete Inference Rules for Inductive Theorem Proving based on Term Rewriting Techniques
Akihiko Ohsuga, Ko Sakai, Shinichi Honiden
Proc. Int. Sympo. on Fifth Generation Computer Systems 1994 (FGCS'94), Workshop on Automated Theorem Proving FGCS1994 Workshop 1994.12 [Refereed]
オブジェクト指向モデルを用いた要求獲得の支援
斉藤康彦, 本位田真一
情報処理学会論文誌 35 ( 11 ) 2469 - 2479 1994.11 [Refereed]
Flage: Field-oriented Language for AGEnt model
Fumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
Proc. 3rd Int. Conf. on Software Reuse (ICSR'94) ICSR1994 1994.11 [Refereed]
COMPOSITION-BASED MAPPING OF DESIGN PLANS INTO IMPLEMENTATION-LEVEL ARCHITECTURES
Y NAGAI, S HONIDEN
TENTH CONFERENCE ON ARTIFICIAL INTELLIGENCE FOR APPLICATIONS, PROCEEDINGS 484 - 485 1994 [Refereed]
Software Process Modeling using Functional Language Miranda
Shinichi Honiden
Proc. of JCSE'93 1993.11 [Refereed]
Metis-AS における代数的仕様の検証手続き
本位田真一
情報処理学会論文誌 34 ( 11 ) 2242 - 2250 1993.11 [Refereed]
Flage: An Agent-oriented Specification Language
Akihiko Ohsuga, Yasuyuki Tahara, Fumihiro Kumeno, Shinichi Honiden
Proc. Int. Workshop on New Models for Software Architecture (IMSA'93) IMSA1993 1993.11 [Refereed]
Metis-ASにおける代数的仕様の検証手続き
大須賀昭彦, 坂井公, 本位田真一
情報処理学会論文誌 34 ( 11 ) 2242 - 2250 1993.11 [Refereed]
An Experimental Analysis for Classifying Specification Processes
Shinichi Honiden
IEEE, Proc. of SEKE'93 231 - 234 1993.06 [Refereed]
複合ビューポイントに基づく仕様化プロセスの分析
西村一彦, 本位田真一
情報処理学会論文誌 34 ( 5 ) 1074 - 1086 1993.05 [Refereed]
等式論理の帰納的定理を証明する手続き
大須賀昭彦, 坂井公, 本位田真一
電子情報通信学会論文誌 J76-D-I ( 3 ) 130 - 138 1993.03 [Refereed]
ソフトウェア・プロセスにおける協調とその抽象化について
松浦佐江子, 本位田真一
コンピュータソフトウェア 10 ( 2 ) 144 - 160 1993.03 [Refereed]
△-extension of Algebraic Specification
Shinichi Honiden
Journal of Information Processing 15 ( 2 ) 177 - 186 1993.01 [Refereed]
NET-ORIENTED ANALYSIS AND DESIGN
S HONIDEN, N UCHIHIRA
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E75A ( 10 ) 1317 - 1325 1992.10 [Refereed]
A PETRI-NET-BASED PROGRAMMING ENVIRONMENT AND ITS DESIGN METHODOLOGY FOR COOPERATING DISCRETE EVENT SYSTEMS
N UCHIHIRA, M ARAMI, S HONIDEN
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E75A ( 10 ) 1335 - 1347 1992.10 [Refereed]
TRANSOBJ - SOFTWARE PROTOTYPING ENVIRONMENT FOR REAL-TIME TRANSACTION-BASED SOFTWARE SYSTEM APPLICATIONS
K ITOH, Y TAMURA, S HONIDEN
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2 ( 1 ) 5 - 29 1992.03 [Refereed]
代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
本位田真一, 大須賀昭彦, 内平直志
情報処理学会論文誌 33 ( 2 ) 173 - 182 1992.02 [Refereed]
A Nonmontonic Temporal Logic and its Kripke Semantics
Shinichi Honiden
Journal of Information Processing 14 ( 1 ) 16 - 22 1992.02 [Refereed]
同期型待ち行列ネットワークのボトルネックに対する定性的なパラメータチューニング法
志田圭介, 伊藤潔, 本位田真一
人工知能学会誌 6 ( 6 ) 891 - 903 1991.11 [Refereed]
An Integration Environment to Put Formal Specification to Practical Use in Real-time System
Shinichi Honiden
IEEE Proc. of 6th IWSSD 1991.10 [Refereed]
An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design
Shinichi Honiden
Journal of Real-Time Systems, Kluwer Academic Publishers 1 ( 3 ) 313 - 331 1991.04 [Refereed]
SPECIFICATION PROCESS MODELING IN OOA
N KOTAKA, Y KISHIMOTO, S HONIDEN
TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 6 6 67 - 81 1991 [Refereed]
AN APPLICATION OF ARTIFICIAL-INTELLIGENCE TO PROTOTYPING PROCESS IN PERFORMANCE DESIGN FOR REAL-TIME SYSTEMS
S HONIDEN, N UCHIHIRA, K ITOH
ESEC 91 : 3RD EUROPEAN SOFTWARE ENGINEERING CONFERENCE 550 189 - 209 1991 [Refereed]
QUALITATIVE REASONING-BASED PARAMETER TUNING ON BOTTLENECK OF SYNCHRONIZED QUEUING NETWORK
K ITOH, S HONIDEN, K SHIDA, T KONNO
COMPSAC 91 - THE FIFTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, PROCEEDINGS 307 - 314 1991 [Refereed]
ON LOGICAL-FOUNDATIONS OF THE ATMS
Y FUJIWARA, S HONIDEN
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 515 125 - 135 1991 [Refereed]
ON LOGICAL-FOUNDATIONS OF THE ATMS
Y FUJIWARA, S HONIDEN
TRUTH MAINTENANCE SYSTEMS 515 125 - 135 1991 [Refereed]
Application of Qualitative Reasoning to Parameter Tuning Process
ITOH KIYOSHI, HONIDEN SHINICHI
IPSJ Magazine 32 ( 2 ) 126 - 136 1991
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic
Shinichi Honiden
IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences E-23 ( 12 ) 2001 - 2010 1990.12 [Refereed]
Role of Qualitative and Quantitative Reasoning in Diagnosis and Improvement for Queueing Network Bottleneck
Shinichi Honiden
Info Japan'90 1990.10 [Refereed]
A Complemental Role of Algebraic Specification and Graphical Specification
FURUKAWA TADASHI, HONIDEN SHINICHI, OHSUGA AKIHIKO, TSUDA JUNICHIRO
IPSJ Journal 31 ( 2 ) 182 - 193 1990.02 [Refereed]
An Application of Artificial Intelligence to Real-Time Systems
Shinichi Honiden
Info Japan'90 1990.01 [Refereed]
Synthesis of Concurrent Programs: Automated Reasoning Complements Software Reuse
Shinichi Honiden
IEEE Proc. of HICSS-23 1990.01 [Refereed]
定性推論と定量推論を導入した待ち行列ネットワークのボトルネック診断と改善法
伊藤潔, 本位田真一, 沢村淳, 志田圭介
人工知能学会誌 5 ( 1 ) 92 - 105 1990.01 [Refereed]
Application of structural modeling and automated reasoning to concurrent program design
S. Honiden, N. Uchihira, K. Matsumoto, K. Matsumura, M. Arai
Proceedings of the Hawaii International Conference on System Science 2 134 - 141 1989.12
Knowledge-based parameter tuning for queuing network type system
Shinichi Honiden
Proc. of CAPE'89 1989.10 [Refereed]
シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法
伊藤潔, 本位田真一, 田村恭久, 志田圭介
シミュレーション 8 ( 3 ) 181 - 190 1989.09 [Refereed]
知識工学手法による待ち行列ネットワークのボトルネック診断
沢村淳, 志田圭介, 本位田真一, 伊藤潔
全国大会講演論文集 1172 - 1173 1989.09 [Refereed]
Relating the TMS to autoepismic Logic
Shinichi Honiden
Proc. of IJCAI-89 1199 - 1205 1989.08 [Refereed]
3. プログラム設計環境のツール 3.3 プロトタイピング支援ツール (<大特集>新しいプログラミング環境)
伊藤潔, 本位田真一
情報処理 30 ( 4 ) 387 - 395 1989.04
An Application of Structural Modeling and Automated Reasoning to Concurrent Program Design
Shinichi Honiden
IEEE Proc. of HICSS-22 313 - 331 1989.01 [Refereed]
MENDELS - CONCURRENT PROGRAM SYNTHESIS SYSTEM USING TEMPORAL LOGIC
N UCHIHIRA, K MATSUMOTO, S HONIDEN, H NAKAMURA
LECTURE NOTES IN COMPUTER SCIENCE 315 50 - 68 1988 [Refereed]
CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC.
Naoshi Uchihira, Toshiaki Kasuya, Kazunori Matsumotot, Shinichi Honiden
Proceedings - IEEE Computer Society's International Computer Software & Applications Conference 455 - 464 1987.12
並行処理ソフトウェアシステムの設計向きプロトタイピング手法とそのツール
田村恭久, 伊藤潔, 本位田真一
情報処理学会論文誌 28 ( 9 ) 923 - 932 1987.09 [Refereed]
マルチプロセッサスケジューリングアルゴリズムを用いた論理型オブジェクト指向言語MENDELの並列処理手法
甲斐宗徳, 笠原博徳, 成田誠之助, 本位田真一, 田村信介
電気学会論文誌C 107 ( 2 ) 149 - 156 1987.02 [Refereed]
Software Prototyping with Reusable Components
Journal of Information Processing 9 ( 3 ) 123 - 129 1986.09 [Refereed]
MENDEL:Prolog based Concurrent Object Oriented Language
Shinichi Honiden
IEEE Proc. of COMPCON'86 230 - 234 1986.03 [Refereed]
推論型システム記述言語MENDEL
本位田真一
情報処理学会論文誌 27 ( 2 ) 219 - 227 1986.02 [Refereed]
SOFTWARE PROTOTYPING WITH MENDEL
S HONIDEN, N UCHIHIRA, T KASUYA
LECTURE NOTES IN COMPUTER SCIENCE 221 108 - 116 1986
リアルタイムシステムにおけるプロトタイピングの一手法
本位田真一
情報処理学会論文誌 26 ( 5 ) 946 - 953 1985.09 [Refereed]
Knowledge Engineering Application in Image Processing
Shinichi Honiden
Graphics Interface'85 1985.05 [Refereed]
Performance Evaluation by Qpit*i
Shinichi Honiden, Isao Sugiyai
Journal of Information Processing 7 ( 4 ) 262 - 268 1985.02 [Refereed]
An Application of Prolog to a Grammar Construction and Validation Process in Syntactic Pattern Recognition including Noisy Chromosome Analysis
Shinichi Honiden
IEEE Proc. of ISNCR-84 1984.10 [Refereed]
Prolog Application in Software Components Reuse, North-Holland
Shinichi Honiden
The Role of Language in Problem Solving 1984.10 [Refereed]
Interoperability for Mobile Agents by Incarnation Agents
Shinichi Honiden
Second International Conference on Autonomous agents and Multiagent Systems (AAMAS-03) [Refereed]
An Examination of the Relationships between Internet Directories
Shinichi Honiden
Proceedings of the EKAW-02 Workshop on Knowledge Management through Corporate Semantic Webs, (to appear) [Refereed]
セキュリティを考慮したモバイルエージェントシステム構築法
吉岡信和, 大須賀昭彦, 田原康之, 本位田真一
情報処理学会論文誌掲載予定 [Refereed]
Integrating Multiple Internet Directories by Instance-based Learning Subtitle Eighteenth
Ryutaro Ichise, Hiedeaki Takeda, Shinichi Honiden
IJCAI-03
XAC Project: Towards a Middleware for Open Wireless Sensor Networks", chapter in book "Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends
Kenji Tei, Shunichiro Suenaga, Yoshiyuki Nakamura, Yuichi Sei, Hikotoshi Nakazato, Yoichi Kaneki, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden
Edited by Francisco Milton Mendes Neto and Pedro Fernandes Ribeiro Neto. published by Information Science Publishi 2010
Data management solutions in sensing systems
Levent G?rgen, Claudia Roncancio, Cyril Labb?, Shinichi Honiden
In the book volume "Wireless Sensor Network Technologies for Information Explosion Era" in Springer book series "Studies in Computational Intelligence". 2010
Multi-Agent Participatory Simulations Between Experimental Economics and Role-Playing Games
Paul Guyot, Alexis Drogoul, 本位田真一
in Deguchi, H. (Ed) Agent-Based Approaches in Economic and Social Complex Systems, Springer Series on Agent Based Social Systems 2007.01
考えるコンテンツ 「スマーティブ」
本位田真一, 吉岡信和, 由利伸子
丸善 2006.03 ISBN: 4621053744
UMLによるビジネスモデリング
鞍田友美, 本位田真一
ソフトバンク 2002.05
増補改訂 オブジェクト指向からエージェント指向へ
本位田真一, 大須賀昭彦
ソフトバンク 2001.12
エージェント技術
本位田真一, 飯島正, 大須賀昭彦
共立出版 1999.07
動きはじめたモバイルエージェント
本位田真一( Part: Other)
情報処理, Vol.39, No.8 1998.08
オブジェクト指向からエージェント指向へ
本位田真一, 大須賀昭彦
ソフトバンク 1998.05
ビジネスオブジェクト
本位田真一
トッパン 1996.06
協調プログラミング例題集
中島秀之, 松原仁, 本位田真一( Part: Other)
bit 「別冊」 1996.04
コンパクト版,図解 コンピュータ百科事典
未入力
オーム社 1996.01
ソフトウェア工学の基礎
本位田真一( Part: Other)
コンピュータソフトウェア,Vol. 13, No.1 1996.01
オブジェクト指向技術 - コンパクト版,図解 コンピュータ百科事典
本位田真一( Part: Contributor)
オーム社 1996
ソフトウェア工学の基礎 I
Shinichi Honiden( Part: Other)
近代科学社 レクチャーノート/ソフトウェア学 14 1996.01
新版 情報処理ハンドブック
情報処理学会編
オーム社 1995.11
デザインパターン
本位田真一, 吉田和樹
ソフトバンク 1995.10
オブジェクト指向分析・設計
本位田真一, 青山幹雄, 深澤良彰, 中谷多哉子
共立出版 1995.06
Reliable Systems
本位田真一( Part: Other)
IEEE Software, Vol. 12, No.3 1995.05
オブジェクト指向システム分析
本位田真一, 山口亨
啓学出版,1990年 2月 (新装版:近代科学社,1995年4月) 1995.04
続オブジェクト指向システム分析
本位田真一, 伊藤潔
啓学出版,1992年10月(新装版:近代科学社,1995年4月) 1995.04
オブジェクト指向モデリング
本位田真一
日経BP出版センター 1995.03
図解 コンピュータ百科事典
未入力
オーム社 1995.01
オブジェクト指向技術 - 図解 コンピュータ百科事典
Shinichi Honiden( Part: Contributor)
1995
オブジェクト指向分析・設計の実際と評価
青山幹雄, 本位田真一( Part: Other)
情報処理, Vol. 35, No. 5 1994.05
プロジェクト管理の成功への秘訣
古宮誠一, 本位田真一
共立出版 1993.11
オブジェクト指向分析・設計 オブジェクト指向コンピューティング
本位田真一( Part: Contributor)
岩波書店 1993.11
オブジェクト指向、オブジェクト指向コンピューティング
Shinichi Honiden( Part: Contributor)
1993.11
Nets-Oriented Software Specification and Design
本位田真一( Part: Other)
IEICE Transactions, Vol. E76-A, No. 10 1993.10
オブジェクト指向システム開発 (韓国語への翻訳版,東逸出版社,1996年10月)
本位田真一, 山城明宏
日経BP社 1993.06
ネット指向パラダイムを目指して
本位田真一( Part: Other)
情報処理, Vol. 34, No. 6 1993.06
産業界におけるソフトウェア・エンジニアリングの動向
本位田真一( Part: Other)
日本品質管理学会、品質, Vol. 23, No.2 1993.04
ペトリネットと時相論理、ペトリネットとその応用
内平直志, 本位田真一( Part: Contributor)
1992
定性推論のパラメータチューニングへの応用
伊藤潔, 本位田真一( Part: Other)
情報処理, Vol. 32, No. 2 1991.04
シュレィア/メラー法によるオブジェクト指向分析 CASEのすべて
本位田真一
オーム社 1991.01
シュレィア/メラー法によるオブジェクト指向分析
Shinichi Honiden( Part: Contributor)
CASEのすべて、オーム社 1991
ソフトウェア事典
未入力
丸善 1990.01
要求仕様技術
Shinichi Honiden( Part: Contributor)
ソフトウェア事典、丸善 1990
エキスパートシステム基礎技術 (KE養成講座(2))
本位田真一, 市川照久
オーム社 1989.12
KE養成講座(2)エキスパートシステム基礎技術
本位田真一, 市川照久
オーム社 1989.12
時相論理とその応用
松本一教, 内平直志, 本位田真一( Part: Other)
情報処理, Vol. 30, No. 6 1989.06
プロトタイピング支援ツール
伊藤潔, 本位田真一( Part: Other)
情報処理, Vol. 30, No.4 1989.04
自動プログラミング・ハンドブック
未入力
オーム社 1989.01
制御分野における自動プログラミング
Shinichi Honiden( Part: Contributor)
自動プログラミング・ハンドブック、オーム社 1989
自動プログラミング
本位田真一( Part: Other)
電気学会雑誌, Vol. 108, No. 5 1988.05
ソフトウェア開発のためのプロトタイピング・ツール
伊藤潔, 本位田真一, 内平直志( Part: Other)
啓学出版 1987.09
時制論理とペトリネット
本位田真一( Part: Other)
オペレーションズ・リサーチ, Vol. 32, No. 9 1987.09
診断型エキスパート・システム
新井政彦, 本位田真一( Part: Other)
情報処理, Vol. 28, No. 5 1987.02
マイクロコンピュータハンドブック
未入力
オーム社 1985.01
オペレーティングシステム
Shinichi Honiden( Part: Contributor)
マイクロコンピュータハンドブック、オーム社 1985
プロセス制御システムへのデータベース技術の応用
松本吉弘, 本位田真一( Part: Other)
情報処理, Vol. 23, No. 10 1982.10
Evaluating Statement Deletion Mutation-based Fault Localization in Industrial Software
61 ( 10 ) 1617 - 1628 2020.10
Qualitative Analysis for Multiple Adaptation Loops
Kenji Tei, Ryuichi Takahashi, Nicolas D’Ippolito Hiroyuki Nakagawa, Shinichi Honiden
GRACE Technical Report 1 - 29 2015.06
Internal/External technical report, pre-print, etc.
A state space exploration technique for verifying concurrent programs in Scala
2014 54 - 59 2014.08
MVC Webアプリケーションの機能縮退を考慮した振舞い検証
澤野 宏貴, 前澤 悠太, 高橋 竜一, 本位田 真一
ソフトウェアエンジニアリングシンポジウム2014論文集 2014 60 - 65 2014.08
ページキャッシュの復元とその他のメモリ転送の並列動作による遠隔地ライブマイグレーション高速化
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
研究報告システムソフトウェアとオペレーティング・システム(OS) 2013 ( 7 ) 1 - 8 2013.02
A Preliminary Study on Boosting Wide Area Live Migration with Page Cache Regeneration
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
研究報告組込みシステム(EMB) 2012 ( 9 ) 1 - 8 2012.11
1A1-E06 Modeling Forward Dynamics using Neuroevolution Algorithms(Evolution and Learning for Robotics(1))
MORIGUCHI Hirotaka, HONIDEN Shinichi
2012 "1A1 - E06(1)"-"1A1-E06(3)" 2012.05
MIYAKODORI: Optimization for Sequence of Live Migrations by Reusing VM Memory
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
コンピュータシステム・シンポジウム論文集 2011 2 - 11 2011.11
教育・研究のためのクラウド基盤:edubase Cloud
吉岡信和, 長久勝, 横山重俊, 本位田真一
全国共同利用情報基盤センター研究開発論文集 ( 33 ) 115 - 119 2011.11
イベント駆動型Webサービス検索のためのイベントマッチング
片渕 聡, 鄭 顕志, 高橋 竜一, 深澤 良彰, 石川 冬樹, 本位田 真一
人工知能学会全国大会(第24回)(JSAI 2010) 2010.06
Research paper, summary (national, other academic conference)
XAC Project: Towards a Middleware for Open Wireless Sensor Networks", chapter in book "Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends
K.Tei,S, Suenaga, Y.Nakamura, Y.Sei, H.Nakazato, Y.Kaneki, N.Yoshioka, Y.Fukazawa, S.Honiden
Information Science - suenaga 2010 [Refereed]
サービス設計における付随機能の考慮によるQoSの向上
高橋 竜一, 鄭 顕志, 石川 冬樹, 本位田 真一, 深澤 良彰
ウィンターワークショップ2010・イン・倉敷 2010.01
Research paper, summary (national, other academic conference)
A Summary of CST Solution Competition 2007 and 2008
YAMAGUCHI Shingo, MIYAMOTO Toshiyuki, UCHIHIRA Naoshi, GE Qi-Wei, HONIDEN Shinichi
IEICE technical report 109 ( 73 ) 59 - 64 2009.05
Special Projects - Smart and Interactive e-Learning System Based on Smartive
Nobukazu Yoshioka, Shinichi Honiden
3rd Intentional Conference of Conputer AdedLanguage Leaning (WorldCALL 2008) 48 - 49 2008.08
Article, review, commentary, editorial, etc. (scientific journal)
CST Solution Competition 2007 : Detailed Results of Computational Evaluation
MIYAMOTO Toshiyuki, YAMAGUCHI Shingo, UCHIHIRA Naoshi, GE Qi-Wei, HONIDEN Shinichi
IEICE technical report 108 ( 79 ) 7 - 12 2008.06
The future of software engineering for security and privacy
HONIDEN Shinichi, NUSEIBEH Bashar
Progress in informatics : PI 5 5 - 6 2008.03
AI-1-5 CST Solution Competition 2007(Summary)
Yamaguchi Shingo, Miyamoto Toshiyuki, Uchihira Naoshi, Ge Qi-Wei, Honiden Shinichi
Proceedings of the IEICE General Conference 2008 SS.31 - SS.32 2008
AK-2-3 Research Trends on Multi-Car Elevator Group Control Algorithms : Through CST Solution Competition 2007
Yamaguchi Shingo, Miyamoto Toshiyuki, Uchihira Naoshi, Ge Qi-Wei, Honiden Shinichi
Proceedings of the Society Conference of IEICE 13 "SS - 13"-"SS-14" 2008
TopSE : An Education Program based on Computer Science
HONIDEN Shinichi, KUMENO Fumihiro, TAHARA Yasuyuki, WASHIZAKI Hironori
IPSJ Magazine 48 ( 11 ) 1264 - 1272 2007.11
Teaching How to Write Security Target of Common Criteria Using the i* Methodology
TAHARA Yasuyuki, TAGUCHI Kenji, HONIDEN Shinichi
IPSJ SIG Notes 2007 ( 107 ) 7 - 14 2007.11
Is it possible to teach the modeling technique?
TSUMAKI Toshihiko, KAIYA Haruhiko, TAHARA Yasuyuki, YOSHIOKA Nobukazu, TAGUCHI Kenji, HONIDEN Shinichi
IPSJ SIG Notes 2007 ( 107 ) 15 - 22 2007.11
Multi-Agent System Development in JADE(<Special Issue>A Software Toolbox for Research Activity (6))
DOI Takuo, HONIDEN Shinichi, Takuo Doi, Shinichi Honiden, Graduate School of Information Science and Technology The University of Tokyo, Information Systems Architecture Science Research Division National Institute of Informatics:Graduate School of Information Science and Technology The University of Tokyo
Journal of Japanese Society for Artificial Intelligence 22 ( 6 ) 799 - 807 2007.11
Improving Accuracy of Recommender System by Item Clustering
TRUONG KhanhQuan, ISHIKAWA Fuyuki, HONIDEN Shinichi
IEICE transactions on information and systems 90 ( 9 ) 1363 - 1373 2007.09
Agent Systems Meet Human Society : Agents Meet Ubiquitous Environment
YOSHIOKA Nobukazu, HONIDEN Shinichi
IPSJ Magazine 48 ( 3 ) 264 - 270 2007.03
Agent Systems Meet Human Society : Panel : Social Impact of Agent Technology
OSAWA Ei-Ichi, ISHIDA Toru, ISHIZUKA Mitsuru, TAKEDA Hideaki, TERANO Takao, HONIDEN Shinichi, YOKOO Makoto
IPSJ Magazine 48 ( 3 ) 278 - 285 2007.03
A-12-8 CST Solution Competition 2007 : Problem and Evaluation Tool
Yamaguchi Shingo, Miyamoto Toshiyuki, Uchihira Naoshi, Ge Qi-Wei, Honiden Shinichi
Proceedings of the Society Conference of IEICE 191 - 191 2007
AP-2-5 CST Solution Competition 2007(Overview)
Yamaguchi Shingo, Uchihira Naoshi, Ge Qi-Wei, Honiden Shinichi
Proceedings of the IEICE General Conference "SS - 11" 2007
A method for protecting a mobile agent by secret information derived from bio-metric information
OKATAKU Yasukuni, AKASHI Masanori, YOSHIOKA Nobukazu, HONIDEN Sinichi
The bulletin of Institute of National Colleges of Technology, Japan, Oshima College of Maritime Technology 39 58 - 60 2006.12
Report on the 21st IEEE / ACM International Conference on Automated Software Engineering (ASE2006)
WASHIZAKI Hironori, KUBO Atsuto, SHIMOTAKI Asato, NAKAGAWA Hiroyuki, HAYASHI Shinpei, MARUYAMA Katsuhisa, HONIDEN Shinichi
IPSJ SIG Notes 2006 ( 125 ) 81 - 88 2006.11
ユビキタスコンピューティングとエージェント:自発性と合意
石川冬樹, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) 2006.10
Article, review, commentary, editorial, etc. (other)
TAGUCHI Kenji, TERAMOTO Hiroko, HONIDEN Shinichi
IPSJ SIG Notes 2006 ( 35 ) 129 - 136 2006.03
エージェントで実現する自由で安全なコンテンツ流通
吉岡信和, 本位田真一
開隆堂, CHANNEL ( vol.6-4 ) 1 2006.03
Book review, literature introduction, etc.
考えるコンテンツ?スマーティブで実現する自由で安全なコンテンツ流通
吉岡信和, 本位田真一
電気通信振興会 Vol.24 ( No.7 ) 32 - 33 2006.03
Book review, literature introduction, etc.
Context-awareサービスのための開発法の提案
吉岡信和, 本位田真一
ソフトウェア工学の基礎XIII, 日本ソフトウェア科学会 125 - 130 2006.03
Book review, literature introduction, etc.
Report on Automated Software Engineering 2005
TAGUCHI Kenji, SAEKI Motoshi, HONIDEN Shinichi
IEICE technical report 105 ( 596 ) 19 - 22 2006.02
IOM/T : An Interaction Description Language
DOI Takuo, YOSHIOKA Nobukazu, TAHARA Yasuyuki, HONIDEN Shinichi
The IEICE transactions on information systems Pt. 1 88 ( 9 ) 1299 - 1311 2005.09
Pheromone Model : Application to Traffic Congestion Prediction
ANDO Yasushi, FUKAZAWA Yoshiaki, MASUTANI Osamu, SASAKI Hiroshi, IWASAKI Hirotoshi, HONIDEN Shinichi
The IEICE transactions on information systems Pt. 1 88 ( 9 ) 1287 - 1298 2005.09
Report on the Automated Software Engineering 2004
SAKATA Yuji, Matsuda Shigeyuki, YAMAMOTO Shuichiro, SAEKI Motoshi, Honiden Shinichi
Technical report of IEICE. SS 104 ( 570 ) 37 - 42 2005.01
ソフトウェア工学におけるエージェントベースアプローチ
大須賀昭彦, 本位田真一
計測と制御(計測自動制御学会誌) 43 ( 12 ) 962 - 968 2004.12 [Refereed]
Article, review, commentary, editorial, etc. (other)
Design and Application of Agent Oriented Software for Ubiquitous Environment
YOSHIOKA Nobukazu, OHSUGA Akihiko, HONIDEN Shinichi
Systems, control and information 48 ( 11 ) 464 - 469 2004.11
A Model for Federation of Service Communities on the Web
KURUMA HIRONOBU, HONIDEN SHINICHI
IPSJ journal 45 ( 6 ) 1593 - 1602 2004.06
A Context-Aware Personal Agent in Ubiquitous Environments and Its Experimental Trial(<Special Issue> Software Agent and Its Applications)
HATTORI Masanori, CHO Kenta, OHSUGA Akihiko, ISSHIKI Masao, HONIDEN Shinichi
IEICE transactions on information and systems 86 ( 8 ) 1471 - 1471 2003.08
Implementation of Agent Migration Control Methods for Mobile Environments
2003 ( 21 ) 9 - 16 2003.03
MolFie : A Mobile Agent Platform for Mobile Application, Vol.J86-B,No.3, pp.362-375
KUMENO Fumihiro, HONIDEN Shinichi
IEICE transactions on communications 86 ( 3 ) 1197 - 1197 2003.03
An Authentication Architecture for Collaboration Among Agents in Ad Hoc Networks, Vol.J86-B,No.3, pp.419-427
OKARAKU Yasukuni, YOSHIOKA Nobukazu, HONIDEN Shinichi
IEICE transactions on communications 86 ( 3 ) 1198 - 1198 2003.03
モバイルエージェントのソフトウェアコンポーネントの動的配置
長健太, 服部正典, 林久志, 大須賀昭彦, 本位田真一
2003
Research paper, summary (national, other academic conference)
Effects of Agent Migration Control Methods for Mobile Environments
KAWAKAMI Kenji, HIROSHIGE Kazuhito, YOSHIOKA Nobukazu, HONIDEN Shinichi
2002 ( 94 ) 87 - 92 2002.10
M-68 Agent Migration Control Considering Resource Distribution
Kawakami Kenji, Hiroshige Kazuhito, Yoshioka Nobukazu, Honiden Shinichi
2002 ( 4 ) 169 - 170 2002.09
Agent Migration Control for Mobile Environment (2)
KAWAKAMI Kenji, HIROSHIGE Kazuhito, YOSHIOKA Nobukazu, HONIDEN Shinichi
IEICE technical report 102 ( 87 ) 89 - 94 2002.05
Agent Migration Control for Mobile Environment
KAWAKAMI Kenji, HIROSHIGE Kazuhito, SASAKI Hiroshi, OKATAKU Yasukuni, HONIDEN Shinichi
2002 ( 24 ) 123 - 129 2002.03
A Mobile Agent Migration Method Considering Mobile Environments
Hiroshige Kazuhito, Kawakami Kenji, Honiden Shinichi
Proceedings of the IEICE General Conference 2002 ( 1 ) 100 - 100 2002.03
Agent Migration Control for Mobile Environment
KAWAKAMI Kenji, HIROSHIGE Kazuhito, SASAKI Hiroshi, OKATAKU Yasukuni, HONIDEN Shinichi
Technical report of IEICE. RCS 101 ( 684 ) 123 - 129 2002.03
Development of Network Script, Wrote and Run at once in Cellular Phones
UENO Kouji, KAMAHORA Kentaro, KAWAMURA Takahiro, HASEGAWA Tetsuo, OHSUGA Akihiko, HON'IDEN Shin'ichi
IPSJ Magazine 43 ( 2 ) 52 - 53 2002.02
Realization of autonomous survival function to battery residual quantity using the mobile agent
KANEKO Heisuke, FUKAZAWA Yoshiaki, KUMENO Fumihiro, HONIDEN Shinichi
IEICE technical report. Artificial intelligence and knowledge-based processing 101 ( 420 ) 41 - 48 2001.11
Autonomous Survival of Application Software on Mobile Information Device
KANEKO Heisuke, FUKAZAWA Yoshiaki, KUMENO Fumihiro, HONIDEN Shinichi
IPSJ SIG Notes 2001 ( 99 ) 55 - 62 2001.10
Autonomous Survival of Application Software on Mobile Information Device
KANEKO Heisuke, FUKAZAWA Yoshiaki, KUMENO Fumihiro, HONIDEN Shinichi
Technical report of IEICE. SS 101 ( 359 ) 9 - 16 2001.10
A formal specificaion of application programs using component - based framework technology
YOSHIDA Kazuki, HONIDEN Shinichi
IPSJ SIG Notes 2000 ( 104 ) 113 - 120 2000.11
A formal specification of application programs using component-based framework technology
YOSHIDA Kazuki, HONIDEN Shinichi
Technical report of IEICE. KBSE 100 ( 441 ) 41 - 48 2000.11
A component extraction/design methodology in a component - based framework technology
YOSHIDA Kazuki, HONIDEN Shinichi
IPSJ SIG Notes 2000 ( 70 ) 25 - 35 2000.07
Autonomous Adaptation by Mobile Agent and Thesaurus
KUMENO Fumihiro, OHSUGA Akihiko, HONIDEN Shinichi
IEICE TANS. INF. & SYST. 83 ( 4 ) 679 - 690 2000.04
Performance Evaluation for Distributed System Paradigms by using Bee-gent
KAWAMURA Takahiro, YOSHIOKA Nobukazu, HASEGAWA Tetsuo, OHSUGA Akihiko, HONIDEN Shinichi
IEICE technical report. Artificial intelligence and knowledge-based processing 99 ( 290 ) 71 - 78 1999.09
Mobile Agent Platforms
HONIDEN Shinichi, The development group of the middleware for mobile agent interoperability
13 171 - 172 1999.06
Be-gent : Bonding Enhancement Agent Framework for Development of Distributed Systems
KAWAMURA Takahiro, TAHARA Yasuyuki, HASEGAWA Tetsuo, OHSUGA Akihiko, HONIDEN Shinichi
IEICE technical report. Artificial intelligence and knowledge-based processing 98 ( 436 ) 55 - 62 1998.11
Mobile Agents are Now Entering Practical Phase
HONIDEN Shinichi
IPSJ Magazine 39 ( 8 ) 812 - 815 1998.08
An Approach to Distributed Constraint Satisfaction Problems by Using Mobile Agents : Development of Distributed Cooperative Power Outage Scheduling System
KAWAMURA Takahiro, KASE Naoki, HASEGAWA Tetsuo, OHSUGA Akihiko, HONIDEN Shinichi
IEICE technical report. Artificial intelligence and knowledge-based processing 98 ( 58 ) 15 - 22 1998.05
Hypersequential Programming : A Novel Paradigm for Concurrent Programming
Uchihira Naoshi, Kawata Hideji, Seki Toshibumi, Honiden Shinichi
IPSJ SIG Notes 96 ( 58 ) 1 - 6 1996.05
A Domain Model for Analysis of Management Information Systems
SAITO Yasuhiko, HONIDEN Shinichi
IPSJ SIG Notes 1995 ( 25 ) 17 - 24 1995.03
An Agent - Oriented Specification Model for Open Systems
KURUMA Hironobu, HONIDEN Shinichi
IPSJ SIG Notes 1995 ( 11 ) 135 - 140 1995.01
TA-2-2 Software Design Methodology using High-Level Petri Nets
Uchihira Naoshi, Honiden Shinichi
1994 356 - 357 1994.09
Making Object-Oriented Development Work
AOYAMA Mikio, HONIDEN Shinichi
IPSJ Magazine 35 ( 5 ) 451 - 460 1994.05
Are "Object-Oriented Approaches" really Useful? : From the Viewpoints of both Engineering and Scientific Sides
Hon-iden Shin-ichi, Saeki Motoshi, Kuse Kazushi, Kato Kazuhiko, Ohmaki Kazuhito
IPSJ SIG Notes 94 ( 6 ) 49 - 49 1994.01
A genetic approach to cell placement in analog LSI chip designs
Handa Keiichi, Honiden Shinichi
IEICE technical report. Circuits and systems CS93 - 197 1994
A Tentative Framework for Requirements Acquisition Using Object - Oriented Business Models
Saito Yasuhiko, Honiden Shinichi
IPSJ SIG Notes 1993 ( 107 ) 55 - 62 1993.11
SPECIAL SECTION ON NETS-ORIENTED SOFTWARE SPECIFICATION AND DESIGN - FOREWORD
S HONIDEN
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E76A ( 10 ) 1565 - 1566 1993.10
Other
Δ-extension of Algebraic Specification
YOSHIDA Kazuki, OHSUGA Akihiko, NAGATA Morio, HONIDEN Shinichi
33 ( 12 ) 1643 - 1643 1992.12
OBJECT - ORIENTED ANALYSIS AND DESIGN SUPPORT ENVIRONMENT BASED ON ALGEBRAIC SPECIFICATION
1992 ( 100 ) 25 - 32 1992.12
AN ALGEBRAIC SPECIFICATION AND VERIFICATION OF A MACHINE CONTROL SYSTEM
1992 ( 10 ) 41 - 48 1992.02
1992 ( 10 ) 155 - 164 1992.02
Shin-ichi Hon-iden, Systems & Software Engineering Laboratory Toshiba Corp.
6 ( 2 ) 184 - 186 1991.03
Parameter tuning on bottleneck of synchronized queueing network by qualitative reasoning
1991 ( 3 ) 87 - 96 1991.01
1991 ( 3 ) 97 - 106 1991.01
A Formal Method for Real - Time SA using Algebraic and Temporal Logic Specifications
1990 ( 62 ) 19 - 26 1990.07
1989 ( 101 ) 1 - 8 1989.11
Bottleneck Diagnosis for Queueing Network Using Knowledge Engineering
SAWAMURA JUN, SHIDA KEISUKE, HONIDEN SHINICHI, ITOH KIYOSHI
IPSJ Journal 30 ( 8 ) 990 - 1002 1989.08
Temporal Logics and Their Applications
MATSUMOTO KAZUNORI, UCHIHIRA NAOSHI, HONIDEN SHINICHI
IPSJ Magazine 30 ( 6 ) p651 - 657 1989.06
1989 ( 2 ) 1 - 10 1989.01
Intelligent Programming System for Concurrent Programs MENDELS(1) : System Overview
37 918 - 919 1988.09
Automatic Programming for Control Systems
HONIDEN SHINICHI, UCHIHIRA NAOSHI, NAKAMURA HIDEO
IPSJ Magazine 28 ( 10 ) p1398 - 1404 1987.10
ARAI M., HONIDEN SHINICHI
IPSJ Magazine 28 ( 2 ) p177 - 186 1987.02
内平直志, 関俊文, 粕谷利明, 本位田真一
情報処理学会研究報告ソフトウェア工学(SE) 1986 ( 7 ) 57 - 64 1986.02
無線センサネットワークにおけるモバイルエージェントの直接通信
末永俊一郎, 本位田真一
分散,協調とモバイルシンポジウム 2007(DICOMO2007) - suenaga [Refereed]
エージェント指向言語Flage
Software
携帯向けスクリプト言語システムFlipcast
Software
パーソナル検索エージェントMobeet
Software
マルチエージェントフレームワークBee-gent
Software
知的ネットワークエージェントPlangent
Software
令和3年度文部科学大臣表彰(科学技術賞)
2021.04 文部科学省 先端スマートシステム技術の普及啓発
Winner: 鷲崎 弘宜, 本位田 真一, 鄭 顕志, 内平 直志, 深澤 良彰
ソフトウェア工学研究会功績賞
2019.08 情報処理学会 トップエスイープロジェクトの推進
Winner: 本位田真一、石川冬樹、鄭顕志
SEAMS' 2016 Best Paper Award
2016.06
Winner: L. Nahabedian, V. Braberman, N. D'Ippolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel
2012年度進化計算研究会 最優秀発表賞(論文賞)
2012.12 進化計算学会
Winner: 森口博貴, 本位田真一
功労賞
2012.08 日本ソフトウェア科学会
Winner: 本位田真一
Best Paper Award, SENSORCOMM 2012
2012.08
Winner: Valentina Baljak, Kenji Tei, Shinichi Honiden
コンピュータサイエンス領域奨励賞
2012.08 情報処理学会 コンピュータサイエンス領域委員会
Winner: 穐山空道, 広渕崇宏, 高野了成, 本位田真一
The Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology
2012.04 Ministry of Education, Culture, Sports, Science and Technology,
Winner: Shinichi Honiden
第五回進化計算シンポジウム 最優秀発表賞
2011.12 進化計算学会
Winner: 森口博貴, 本位田真一
ComSys2011 学生ポスター・デモンストレーション賞
2011.11
Winner: 穐山空道, 広渕崇宏, 高野了成, 本位田真一
ComSys2011 優秀論文賞
2011.11
Winner: 穐山空道, 広渕崇宏, 高野了成, 本位田真一
Best PhD Poster Award, ICSOC2010
2010.12 Efficient, Failure-Resilient Semantic Web Service Planning
Winner: Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
JAWS2007 学生奨励賞
2007.10 合同エージェントワークショップ&シンポジウム
Winner: 末永 俊一郎, 本位田 真一
DICOMO2007 最優秀論文賞
2007.07 マルチメディア、分散、協調とモバイルシンポジウム
Winner: 清 雄一, 本位田 真一
ACM Recognition of Service Award受賞
2007.01 ACM
Winner: 本位田真一
情報処理学会フェロー称号授与
2007.01 情報処理学会
Winner: 本位田真一
JAWS2006 優秀論文賞
2006.10 合同エージェントワークショップ&シンポジウム
Winner: 丹羽 智史, 土肥 拓生, 本位田 真一
DICOMO2006 優秀論文賞
2006.09
Winner: 清 雄一, 松崎 和賢, 本位田 真一
モバイルAR環境による日常技能練習のゲーミフィケーション
22nd Workshop on Interactive Systems and Software (WISS 2014)
Presentation date: 2014.11
フィードバック指向ランダムテストを用いたQuickCheckの改良
矢藤 康祐, 坂本 一憲, 石川 冬樹, 本位田 真一
第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) ポスターセッション
Presentation date: 2014.03
ページキャッシュの復元による遠隔地ライブマイグレーション高速化システムの実演
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
第24回コンピュータシステム・シンポジウム(ComSys 2012) ポスターセッション
Presentation date: 2012.12
ページキャッシュの復元による遠隔地ライブマイグレーションの高速化
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
第123回システムソフトウェアとオペレーティング・システム研究会
Presentation date: 2012.12
閾値ベースの確率的オンラインセンサ・タスク割当て手法
鳥海 晋, 本位田 真一
マルチメディア、分散、協調とモバイル(DICOMO2012)シンポジウム
Presentation date: 2012.07
主双対法を用いたオンラインセンサ・タスク割当て
鳥海 晋, 本位田 真一
マルチメディア、分散、協調とモバイル(DICOMO2012)シンポジウム
Presentation date: 2012.07
Cooperative Synapse Neuroevolutionにおける大域最適解への収束と進化速度の向上
徐 聖博, 森口 博貴, 本位田 真一
第五回進化計算シンポジウム
Presentation date: 2011.12
進化計算を用いたロボットの順動力学モデル学習と行動計画・制御への応用
森口 博貴, 本位田 真一
第五回進化計算シンポジウム
Presentation date: 2011.12
メモリ再利用によりライブマイグレーションを高速化するシステム「都鳥」の実演
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
コンピュータシステム・シンポジウム (ComSys 2011) デモセッション
Presentation date: 2011.11
都鳥: メモリ再利用による連続するライブマイグレーションの最適化
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
コンピュータシステム・シンポジウム (ComSys 2011)
Presentation date: 2011.11
Achieving Constraint Compliance in QoS-aware Service Planning
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
Second International Joint Agent Workshop & Symposium (iJAWS2011)
Presentation date: 2011.10
ヴィックレイオークションを利用したWebサービス選択アルゴリズム
渡辺 敦, 石川 冬樹, 深澤 良彰, 本位田 真一
合同エージェントワークショップ&シンポジウム(JAWS2011)
Presentation date: 2011.10
電力資源制約下におけるセンサ・タスク割当て
鳥海 晋, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2011)シンポジウム
Presentation date: 2011.07
メモリの再利用により移動後の性能低下を抑えたライブマイグレーション
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
先進的計算基盤システムシンポジウム(SACSIS2011) ポスター発表セッション
Presentation date: 2011.05
進化的計算におけるグラフ構造と最適化性能の関係性
須山 敦志, 本位田 真一
合同エージェントワークショップ&シンポジウム(JAWS2010)
Presentation date: 2010.10
同種サービスの複数利用を考慮した効率的なサービス候補の構築
平塚 信明, 石川 冬樹, 本位田 真一
合同エージェントワークショップ&シンポジウム(JAWS2010)
Presentation date: 2010.10
組合せによる条件付き品質を考慮したWebサービス選択の高速化手法
渡辺 敦, 片渕 聡, 高橋 竜一, 鄭 顕志, 石川 冬樹, 深澤 良彰, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム
Presentation date: 2010.07
無線センサネットワークの為のモデル駆動開発に向けたDSL非依存モデルの提案
清水 遼, 鄭 顕志, 深澤 良彰, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム
Presentation date: 2010.07
資源制約下における複数タスクへのセンサ割当問題
鳥海 晋, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム
Presentation date: 2010.07
Chordネットワークにおけるシーケンシャルアクセスに最適な配列の配置
福地 大輔, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム
Presentation date: 2010.07
イベント駆動型Webサービス検索のためのイベントマッチング" 人工知能学会全国大会(第24回)(JSAI2010)
片渕 聡, 鄭 顕志, 高橋 竜一, 深澤 良彰, 石川 冬樹, 本位田 真一
人工知能学会全国大会(第24回)(JSAI2010)
Presentation date: 2010.06
NEATにおける振る舞い多様性維持
森口 博貴, 本位田 真一
人工知能学会全国大会(第24回)(JSAI2010)
Presentation date: 2010.06
Flickr上の画像のWordNetへの自動マッピング
馬場 雪乃, 本位田 真一
人工知能学会全国大会(第24回)(JSAI2010)
Presentation date: 2010.06
無線センサネットワークにおける計測記述言語のための規範モデル導出手法の構築
鄭 顕志, 深澤 良彰, 本位田 真一
ソフトウェア工学の基礎〈15〉日本ソフトウェア科学会FOSE 2008 日本ソフトウェア科学会
Presentation date: 2008.11
Ruby処理系へのスナップショットGCの実装
相川 光, 笹田 耕一, 本位田 真一
第71回情報処理学会プログラミング研究発表会 (松江テルサ) 情報処理学会・プログラミング研究会
Presentation date: 2008.10
コンポーネントモデルを用いたJADE実装手法の提案
中川 博之, 大須賀 昭彦, 本位田 真一
合同エージェントワークショップ&シンポジウム2008(JAWS-2008) 予稿集 (滋賀県、日本) 日本ソフトウェア科学会
Presentation date: 2008.10
マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法
高橋 竜一, 鄭 顕志, 石川 冬樹, 本位田 真一, 深澤 良彰
合同エージェントワークショップ&シンポジウム2008(JAWS-2008) 予稿集 (滋賀県、日本) 日本ソフトウェア科学会
Presentation date: 2008.10
センサーネットワークにおける耐故障性を考慮したデータ集約
金木 陽一, 清 雄一, 本位田 真一
合同エージェントワークショップ&シンポジウム2008(JAWS-2008) 予稿集 (滋賀県、日本) 日本ソフトウェア科学会
Presentation date: 2008.10
無線センサネットワークによるイベント領域予測のためのイベント境界の変化量抽出
鳥海 晋, 本位田 真一
合同エージェントワークショップ&シンポジウム2008(JAWS-2008) 予稿集 (滋賀県、日本) 日本ソフトウェア科学会
Presentation date: 2008.10
無線センサーネットワークの複製ノード検知における報告ノード決定手法の提案
清 雄一, 本位田 真一
合同エージェントワークショップ&シンポジウム2008(JAWS-2008) (滋賀県、日本) 日本ソフトウェア科学会
Presentation date: 2008.10
タグに関連づけられた時間・場所の概念抽出
電子情報通信学会技術研究報告. AI, 人工知能と知識処理 (京都市、日本) 人工知能と知識処理研究会
Presentation date: 2008.09
三次元環境での無線センサネットワークにおける省電力性を考慮したイベント検出
鳥海 晋, 清 雄一, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム (北海道、日本) 情報処理学会
Presentation date: 2008.07
無線センサネットワークにおける省資源性を考慮したセンサセレクション手法
中村 善行, 鄭 顕志, 深澤 良彰, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム (北海道、日本) 情報処理学会
Presentation date: 2008.07
ユビキタスコンピューティングにおけるイベントに基づいたアクセス制御
石川 冬樹, 清 雄一, 吉岡 信和, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム (北海道、日本) 情報処理学会
Presentation date: 2008.07
分散配列: 連番アイテムに適したP2P分散データ構造
福地 大輔, 清 雄一, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム (北海道、日本) 情報処理学会
Presentation date: 2008.07
通信コストと計測精度を考慮したトラッキングのためのセンサモデルの提案
中里 彦俊, 中村 善行, 鄭 顕志, 深澤 良彰, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム (北海道、日本) 情報処理学会
Presentation date: 2008.07
モデル変換に基づく要求記述を利用した形式仕様記述の構築
中川博之, 吉岡信和, 本位田真一
ソフトウェア工学の基礎ワークショップ (FOSE2007) (東京都、日本) 日本ソフトウェア科学会
Presentation date: 2007.11
保守性に着目したリファクタリング方針の評価メトリクス
川俣洋次郎, 中川博之, 本位田真一
ソフトウェア工学の基礎ワークショップ (FOSE2007) (東京都、日本) 日本ソフトウェア科学会
Presentation date: 2007.11
ロボットを統一的に協調動作させるためのフレームワークの設計と実装
片岡慧, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007) (沖縄県、日本) 合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Presentation date: 2007.10
Novel Applications in Ubiquitous Computing
Christian Sommer, Shunichiro Suenaga, 吉岡信和, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007) (沖縄県、日本) 合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Presentation date: 2007.10
Peer-to-Peer環境での補助ネットワークを用いた差分ベースオブジェクトの共有
福地大輔, 清雄一, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007) (沖縄県、日本) 合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Presentation date: 2007.10
ユビキタスコンピューティングにおけるコンテンツの形成・流通・利用・管理に関する研究動向
馬場雪乃, 福地大輔, 清雄一, 吉岡信和, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007) (沖縄県、日本) 合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Presentation date: 2007.10
ユビキタスコンピューティングにおけるコンテキストのモデル化,管理に関する研究動向
中村善行, 清家良太, 鄭顕志, 吉岡信和, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007) (沖縄県、日本) 合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Presentation date: 2007.10
ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向
鄭顕志, 中川博之, 川俣洋次郎, 吉岡信和, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007) (沖縄県、日本) 合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Presentation date: 2007.10
ユビキタスコンピューティングにおける分散協調・連携技術の研究動向
石川冬樹, 阿部玲, 高橋竜一, 吉岡信和, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007) (沖縄県、日本) 合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Presentation date: 2007.10
サービス合成における契約ポリシーの決定・検証問題の形式化とその支援
石川冬樹, 吉岡信和, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007) (沖縄県、日本) 合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Presentation date: 2007.10
マルチエージェントシステムにおける柔軟なプロトコル合成言語
高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007) (沖縄県、日本) 合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Presentation date: 2007.10
無線センサネットワークにおけるデータ発見効率を考慮した分散ストレージバランシングの提案
清家良太, 清雄一, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007) (沖縄県、日本) 合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Presentation date: 2007.10
無線センサーネットワークにおける不正イベント発生ノードの検知
清雄一, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007) (沖縄県、日本) 合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Presentation date: 2007.10
非常に不安定なネットワークにおける送信方式の違いによる通信安定性の検証
片岡慧, 山上智久, 本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007) (三重県、日本) マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
Presentation date: 2007.07
無線センサネットワークにおけるモバイルエージェントの直接通信
末永俊一郎, 本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007) (三重県、日本) マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
Presentation date: 2007.07
経済市場モデルに基づいた無線センサーネットワークにおけるマルチアプリケーション間での資源共有
清家良太, 清雄一, 本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007) (三重県、日本) マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
Presentation date: 2007.07
無線センサーネットワークにおけるFalse Eventの検知
清雄一, 本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007) (三重県、日本) マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
Presentation date: 2007.07
MANETにおけるコスト基準経路探索プロトコルへのコスト基準拡張リング探索の適用
河村美嗣, 鄭顕志, 深澤良彰, 本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007) (三重県、日本) マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
Presentation date: 2007.07
無線センサーネットワークにおける計測処理記述のためのデザインパターンの抽出と適用
鄭顕志, 深澤良彰, 本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007) (三重県、日本) マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
Presentation date: 2007.07
KAOSによる無線センサーネットワークのための計測処理中間モデルの導出
鄭顕志, 深澤良彰, 本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007) (三重県、日本) マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
Presentation date: 2007.07
variable-size DBF による分散ハッシュテーブルのトラフィック量削減
清雄一, 松崎和賢, 本位田 真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
モバイルエージェントの合意に基づいた協調とサービス管理
石川 冬樹, 吉岡 信和, 本位田 真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
知的移動エージェントによる低消費電力なワイヤレスセンサネットワークアプリケーションの構築
長健太, 大須賀昭彦, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
ユビキタスコンピューティングとエージェント:自発性と合意
石川冬樹, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
無線センサネットワークにおけるプログラミングモデル - マクロプログラミングとトラディショナルアプローチ
松崎和賢, 末永 俊一郎, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
無線センサネットワークにおけるプログラミングモデル - プログラミングサポートとプログラミングアブストラクション
末永俊一郎, 松崎 和賢, 本位田 真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
無線センサーネットワークミドルウェアの研究動向とエージェント技術の適用可能性
鄭顕志, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
Folksonomyの3部グラフ構造を利用したタグクラスタリング
丹羽智史, 土肥拓生, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
PID制御法を用いたロボットの行動決定のための交渉フィルター
片岡慧, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
シナリオに基づくインタラクションの開発
土肥拓生, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
エージェント間協調のためのプロトコルを利用したポリシー表現とその監視法の提案
吉岡信和, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
要求の重要度を用いたロール・組織構造の同定
中川博之, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
碁盤分析のためのニューラルエージェントによる自動調整MASム
Eric Tschetter, Eric Platon, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
コンテンツ流通エージェントのための強化学習メカニズム
片岡慧, 吉岡信和, 石川冬樹, 鄭顕志, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
Context-awareなコンテンツ流通のためのセキュリティアーキテクチャ
清雄一, 粂野文洋, 吉岡信和, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
Recommender Systemの予測精度を上げる:ユーザ類似度の安定によるアイテムクラスターリング手法
チュオンカンクアン, 石川冬樹, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
センサーの資源制約を考慮したセンシングプログラムの退避行動手法の提案
石黒真, 鄭顕志, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006) (三重県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2006.10
効率的なPeer-to-Peer 全文検索
清雄一, 松崎和賢, 本位田真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) (神奈川県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2005.11
位置に束縛されたモバイルエージェントによる位置依存情報の収集
鄭 顕志, 深澤 良彰, 本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) (神奈川県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2005.11
Folksonomyマイニングに基づくWebページ推薦システム (「マルチエージェントの理論と応用」特集号)
丹羽智史, 土肥拓生, 本位田真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) (神奈川県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2005.11
自己制御型コンテンツのポリシーに基づく開発支援手法の提案
松崎 和賢, 吉岡 信和, 本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) (神奈川県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2005.11
サービス指向に基づいたマルチメディアコンテンツの自律的な流通と提供
石川 冬樹, 吉岡 信和, 本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) (神奈川県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2005.11
KAOSを用いたマルチエージェントシステムの分析支援
中川 博之, 苅部 卓哉, 本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) (神奈川県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2005.11
契約による設計を用いたインタラクションの実装
土肥 拓生, 吉岡 信和, 田原 康之, 本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) (神奈川県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2005.11
アドホックネットワークのルーティングへの市場原理の適用
武藤 宏美, 鄭 顕志, 深澤 良彰, 本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005) (神奈川県、日本) 合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Presentation date: 2005.11
ロジック書き換えパターンの検証方法の提案
吉岡 信和, 本位田 真一
第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004) (三重県、日本) FOSE2004
Presentation date: 2004.11
マルチメディアコンテンツ流通のためのモバイルエージェントのモデル駆動開発
苅部 卓哉, 吉岡 信和, 田原 康之, 本位田 真一
第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004) (三重県、日本) FOSE2004
Presentation date: 2004.11
マルチエージェントシステムのためのインタラクション主導開発におけるシステム分析
土肥 拓生, 吉岡 信和, 田原 康之, 本位田 真一
第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004) (三重県、日本) FOSE2004
Presentation date: 2004.11
階層型モバイルエージェントの自律的な合成のための記述とその基板に関する検討
石川 冬樹, 田原 康之, 吉岡 信和, 本位田 真一
第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004) (三重県、日本) FOSE2004
Presentation date: 2004.11
P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築
鄭 顕志, 吉岡 信和, 深澤 良彰, 本位田 真一
第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004) (三重県、日本) FOSE2004
Presentation date: 2004.11
位置指向設計プロセス:モバイル環境における状況依存アプリケーションのアスペクト指向設計
松崎 和賢, 吉岡 信和, 本位田 真一
第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004) (三重県、日本) FOSE2004
Presentation date: 2004.11
位置情報を利用するエージェントのロケーション指向設計
松崎 和賢, 吉岡 信和, 本位田 真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004) (長野県、日本) 合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
Presentation date: 2004.10
マルチエージェントシステムのインタラクション主導要求分析
土肥 拓生, 吉岡 信和, 田原 康之, 本位田 真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004) (長野県、日本) 合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
Presentation date: 2004.10
フェロモンモデル:交通渋滞予測への適用
安藤靖志, 増谷修, 岩崎弘利, 本位田真一, 深澤義彰
合同エージェントワークショップ&シンポジウム2004 (JAWS2004) (長野県、日本) 合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
Presentation date: 2004.10
P2P グリッドにおけるサービスの効率的障害退避
鄭 顕志, 吉岡 信和, 深澤 良彰, 本位田 真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004) (長野県、日本) 合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
Presentation date: 2004.10
階層型モバイルエージェントの合成における合意記述
石川 冬樹, 田原 康之, 吉岡 信和, 本位田 真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004) (長野県、日本) 合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
Presentation date: 2004.10
ホットスポットにおけるリソースレンタルシステムの提案と評価
武藤宏美, 田原康之, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004) (長野県、日本) 合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
Presentation date: 2004.10
アクティブコンテンツ:コンテンツ流通のためのモバイルエージェントフレームワーク
苅部卓哉, 吉岡信和, 田原康之, 本位田真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004) (長野県、日本) 合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
Presentation date: 2004.10
コンテンツカプセル化エージェントの動作制御のためのポリシーモデル
NGUYEN Khanh Ngoc, 石川冬樹, 田原康之, 本位田真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004) (長野県、日本) 合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
Presentation date: 2004.10
P2Pシステムにおける自律型コンテンツの流通
清雄一, 松崎和賢, 本位田真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004) (長野県、日本) 合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
Presentation date: 2004.10
エージェントのペアリングによる再利用性と動的環境適応性を考慮に入れた記述分離
松崎 和賢, 吉岡 信和, 本位田 真一
第10回ソフトウェア工学の基礎ワークショップ(FOSE'03) (和歌山県、日本) FOSE'03
Presentation date: 2003.11
Webサービス連携のためのモバイルエージェント動作記述
石川 冬樹, 田原 康之, 吉岡 信和, 本位田 真一
第10回ソフトウェア工学の基礎ワークショップ(FOSE'03) (和歌山県、日本) FOSE'03
Presentation date: 2003.11
UMLを用いたセキュアなアプリケーション開発のための支援手法
苅部 卓哉, 吉岡 信和, 本位田 真一
第10回ソフトウェア工学の基礎ワークショップ(FOSE'03) (和歌山県、日本) FOSE'03
Presentation date: 2003.11
エージェント間プロトコル記述言語FOPLの提案
土肥 拓生, 吉岡 信和, 本位田 真一
第10回ソフトウェア工学の基礎ワークショップ(FOSE'03) (和歌山県、日本) FOSE'03
Presentation date: 2003.11
アドホックなサービス利用を支援するエージェントプラットフォーム拡張の提案
松崎 和賢, 吉岡 信和, 田原康之, 本位田 真一
合同エージェントシンポジウム&ワークショップ (兵庫県、日本) JAWS 2003
Presentation date: 2003.10
モバイルエージェントによるWebサービス連携モデル
石川 冬樹, 吉岡 信和, 田原 康之, 本位田 真一
合同エージェントシンポジウム&ワークショップ (兵庫県、日本) JAWS 2003
Presentation date: 2003.10
モバイルエージェントによるデジタルコンテンツ 流通
苅部卓哉, 吉岡 信和, 田原康之, 本位田 真一
合同エージェントシンポジウム&ワークショップ (兵庫県、日本) JAWS 2003
Presentation date: 2003.10
インタラクションプロトコル記述言語FOPL
土肥 拓生, 吉岡 信和, 田原 康之, 本位田 真一
合同エージェントシンポジウム&ワークショップ (兵庫県、日本) JAWS 2003
Presentation date: 2003.10
パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム
石川 冬樹, 吉岡 信和, 本位田 真一
オブジェクト指向シンポジウム2003(OO2003) (東京、日本) 情報処理学会
Presentation date: 2003.08
携帯電話アプリケーション開発のためのスクリプトシステムの提案
直原正樹, 吉岡信和, 深澤良彰, 本位田真一
エージェント合同シンポジウム (JAWS 2002) (北海道、日本) JAWS 2002
Presentation date: 2002.11
モバイル端末連携支援Bee-gent 拡張フレームワーク
松崎和賢, 吉岡信和, 本位田真一
エージェント合同シンポジウム (JAWS 2002) (北海道、日本) JAWS 2002
Presentation date: 2002.11
Webサービス連携エージェントのためのビヘイビアルール記述言語
石川冬樹, 吉岡信和, 本位田真一
エージェント合同シンポジウム (JAWS 2002) (北海道、日本) JAWS 2002
Presentation date: 2002.11
モバイルエージェントによるバッテリ切れ避難システム : Easter
金子平祐, 深澤良彰, 粂野文洋, 吉岡信和, 本位田真一
エージェント合同シンポジウム (JAWS 2002) (北海道、日本) JAWS 2002
Presentation date: 2002.11
PCクラスタに対応したマルチエージェントシステムの提案
吉岡信和, 鄭顕志, 深澤良彰, 本位田真一
エージェント合同シンポジウム (JAWS 2002) (北海道、日本) JAWS 2002
Presentation date: 2002.11
携帯電話上で記述・即時実行可能なネットワークスクリプトFlipcast
上野晃嗣, 釜洞健太郎, 川村隆浩, 長谷川哲夫, 大須賀昭彦, 本位田真一
オブジェクト指向2002シンポジウム (日本) オブジェクト指向2002シンポジウム
Presentation date: 2002.08
パターンを利用したセキュアかつ効率的なモバイルエージェントアプリケーション開発
田原康之, 吉岡信和, 大須賀昭彦, 本位田真一
オブジェクト指向2002シンポジウム (日本) オブジェクト指向2002シンポジウム
Presentation date: 2002.08
モバイルミドルウェアにおけるエージェント移動制御
広重 一仁, 川上 憲治, 本位田 真一
マルチメディア,分散,協調とモバイルシンポジウム,DICOMO 2002 (日本) 情報処理学会
Presentation date: 2002.01
モバイル環境向けエージェント移動制御 (その2)
川上 憲治, 広重 一仁, 吉岡 信和, 本位田 真一
モバイルコンピューティングとワイヤレス通信研究会 (東京、日本) 情報処理学会
Presentation date: 2002.01
モバイル環境向けエージェント移動制御
川上 憲治, 広重 一仁, 佐々木 宏, 岡宅 泰邦, 本位田 真一
モバイルコンピューティングとワイヤレス通信研究会 (東京、日本) 情報処理学会
Presentation date: 2002.01
エージェント指向技術
本位田真一
-ネットワークコンピューティングのソフトウェア技術- 情報処理学会「オブジェクト指向シンポジウム’98」
Presentation date: 1998.09
デザインパターン
本位田真一
情報処理学会「オブジェクト指向シンポジウム'96」
Presentation date: 1996.07
Object-Oriented Software Engineering
本位田真一
Tutorial in 2nd International Symposium on Object Technologies for Advanced Software, ISOTAS'96
Presentation date: 1996.03
オブジェクト指向開発の実践と課題
本位田真一 [Invited]
情報処理学会 関西支部,平成7年度第2回関西支部セミナー「オブジェクト指向分析・設計の最新動向および開発事例」
Presentation date: 1996.01
オブジェクト指向開発の実践と課題
本位田真一 [Invited]
情報処理学会「オブジェクト指向シンポジウム'95」
Presentation date: 1995.06
オブジェクト指向開発とは
本位田真一
情報処理学会「オブジェクト指向開発の実践と課題」連続セミナー'94
Presentation date: 1994.11
Formalizing Specification Modeling in OOA
S. Honiden [Invited]
Object World Germany'94
Presentation date: 1994.09
オブジェクト指向分析・設計
本位田真一
日本ソフトウェア科学会チュートリアル「 オブジェクト指向選りすぐり」
Presentation date: 1993.12
オブジェクト指向分析・設計総論
本位田真一
情報処理学会「 オブジェクト指向分析・設計」チュートリアル
Presentation date: 1993.05
オブジェクト指向分析・設計-実践と評価
本位田真一
情報処理学会九州支部講習会
Presentation date: 1992.11
協調型ソフトウェア・アーキテクチャ
本位田真一
情報処理学会第45回全国大会「 チュートリアル・セッション」
Presentation date: 1992.10
ソフトウェア工学とAI
本位田真一
1992年度人工知能学会全国大会(第6回)チュートリアル講演
Presentation date: 1992.06
協調型ソフトウェア・アーキテクチャ
本位田真一
日本ソフトウェア科学会チュートリアル「 分散人工知能ー協調計算とマルチエージェント・システム」
Presentation date: 1992.05
OOA/OODの上流CASE
本位田真一
日本ソフトウェア科学会サマーチュートリアル「 90年代のCASE」
Presentation date: 1991.08
OOA/OOD
本位田真一
日本ソフトウェア科学会イブニングチュートリアル「 オブジェクト指向選りすぐり」
Presentation date: 1991.06
OOA/OOD
本位田真一
日本ソフトウェア科学会イブニングチュートリアル「 オブジェクト指向選りすぐり」
Presentation date: 1991.02
体感品質に基づいたユビキタスサービスの開発を支援するフレームワークの検討
2018 鄭顕志
Bachelor Thesis B(Spring Semester)
School of Fundamental Science and Engineering
2022 spring semester
Computer Science and Engineering Laboratory C [S Grade]
School of Fundamental Science and Engineering
2022 fall semester
Computer Science and Engineering Laboratory C
School of Fundamental Science and Engineering
2022 fall semester
Bachelor Thesis B(Spring Semester)
School of Fundamental Science and Engineering
2022 spring semester
Bachelor Thesis B (Spring Semester)
School of Fundamental Science and Engineering
2022 spring semester
Bachelor Thesis B (Spring Semester)
School of Fundamental Science and Engineering
2022 spring semester
Communications and Computer Engineering Laboratory
School of Fundamental Science and Engineering
2022 fall semester
Computer Science and Engineering Laboratory
School of Fundamental Science and Engineering
2022 fall semester
Computer Science and Engineering Laboratory
School of Fundamental Science and Engineering
2022 fall semester
Graduation Thesis B (Spring) [S Grade]
School of Fundamental Science and Engineering
2022 spring semester
Computer Science and Communications Engineering Laboratory A
School of Fundamental Science and Engineering
2022 fall semester
Computer Science and Communications Engineering Laboratory B
School of Fundamental Science and Engineering
2022 spring semester
Graduation Thesis A (Fall) [S Grade]
School of Fundamental Science and Engineering
2022 fall semester
Introduction to Computers and Networks
School of Fundamental Science and Engineering
2022 spring semester
Computer Science and Communications Engineering Laboratory A [S Grade]
School of Fundamental Science and Engineering
2022 fall semester
Master's Thesis (Department of Computer Science and Communications Engineering)
Graduate School of Fundamental Science and Engineering
2022 full year
Seminar on Autonomous Agent System C
Graduate School of Fundamental Science and Engineering
2022 spring semester
Seminar on Autonomous Agent System B
Graduate School of Fundamental Science and Engineering
2022 fall semester
Seminar on Autonomous Agent System A
Graduate School of Fundamental Science and Engineering
2022 spring semester
Special Laboratory B in Computer Science and Communications Engineering
Graduate School of Fundamental Science and Engineering
2022 fall semester
Special Laboratory A in Computer Science and Communications Engineering
Graduate School of Fundamental Science and Engineering
2022 spring semester
Research on Autonomous Agent System
Graduate School of Fundamental Science and Engineering
2022 full year
Seminar on Autonomous Agent System D
Graduate School of Fundamental Science and Engineering
2022 fall semester
Master's Thesis (Department of Computer Science and Communications Engineering)
Graduate School of Fundamental Science and Engineering
2022 full year
Special Seminar A in Computer Science and Communications Engineering
Graduate School of Fundamental Science and Engineering
2022 spring semester
Research on Autonomous Agent System
Graduate School of Fundamental Science and Engineering
2022 full year
Special Laboratory B in Computer Science and Communications Engineering
Graduate School of Fundamental Science and Engineering
2022 fall semester
Special Laboratory A in Computer Science and Communications Engineering
Graduate School of Fundamental Science and Engineering
2022 spring semester
Seminar on Autonomous Agent System D
Graduate School of Fundamental Science and Engineering
2022 fall semester
Seminar on Autonomous Agent System C
Graduate School of Fundamental Science and Engineering
2022 spring semester
Seminar on Autonomous Agent System B
Graduate School of Fundamental Science and Engineering
2022 fall semester
Seminar on Autonomous Agent System A
Graduate School of Fundamental Science and Engineering
2022 spring semester
Research on Autonomous Agent System
Graduate School of Fundamental Science and Engineering
2022 full year
Special Seminar B in Computer Science and Communications Engineering
Graduate School of Fundamental Science and Engineering
2022 fall semester
Citation count denotes the number of citations in papers published for a particular year.