公表論文

Yuichi Goto's page

公表論文種類別_

学術雑誌に掲載された論文_

  1. Natsumi KITAJIMA, Shisuke NARA, Yuichi GOTO, and Jingde CHENG: A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems, International Journal of Computing Anticipatory Systems, Vol. 20, pp. 177-190, CHAOS, December 2008.
  2. Yuichi GOTO, Takumi ENDO, and Jingde CHENG: Continuous Reactability of Persistent Computing Systems, International Journal of Computing Anticipatory Systems, Vol. 20, pp. 219-229, CHAOS, December 2008.
  3. Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG: A Low Cost and Resilient Message Queuing Middleware, International Journal of Computer Science and Network Security, Vol. 8, No. 8, pp. 225-237, August 2008.
  4. 堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 情報処理学会論文誌, Vol. 48, No. 8, pp. 2684-2698, 情報処理学会, 2007年8月.
  5. Yuichi GOTO and Jingde CHENG: A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic, Electronic Notes in Theoretical Computer Science, "Proceedings of the Workshop on Logic, Model and Computer Science (LMCS06), Camerino, Italy, 20-22 April 2006," Vol. 169, pp. 87-97, Elsevier B.V., March 2007.　
  6. Shinsuke NARA, Feng SHANG, Takashi OMI, Yuichi GOTO, and Jingde CHENG: An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems, International Journal of Computing Anticipatory Systems, Vol. 18, pp. 225-234, CHAOS, December 2006.
  7. 森本 祥一, 重松 真二郎, 後藤 祐一, 程 京徳: ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法, 日本ソフトウェア科学会「コンピュータソフトウェア」, 日本ソフトウェア科学会「コンピュータソフトウェア」, Vol. 23, No. 3, pp. 117-133, 2006年7月.
  8. 奈良 信介, 後藤 祐一, 程 京徳: 並列化による前向き演繹エンジンの高速化, 情報処理学会論文誌「数理モデル化と応用」, Vol. 46, No. SIG10 (TOM12), pp. 19-29, 情報処理学会, 2005年6月.
  9. Yasushi TOJO, Shinsuke NARA, Yuichi GOTO, and Jingde CHENG: Tasking Deadlocks in Programs with the Full Ada 95, ACM Ada Letters, Vol. 25, No. 1, pp. 48-56, March 2005.
  10. Yuichi GOTO, Shinsuke NARA, and Jingde CHENG: Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security, International Journal of Computing Anticipatory Systems, Vol. 14, pp. 156-171, CHAOS, December 2004.

論文集シリーズに掲載された論文_

  1. Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG: Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control, in E. Corchado, X. Wu, and E. Oja (Eds.), "Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 5572, pp. 68-76, Springer-Verlag, June 2009.
  2. Daisuke HORIE, Kenichi YAJIMA, Noor AZIMAH, Yuichi GOTO, and Jingde CHENG: GEST: A Generator of ISO/IEC 15408 Security Target Templates, in R. Lee, G. Hu, and H. Miao (Eds.), "Computer and Information Science 2009," Studies in Computational Intelligence, Vol. 208, pp. 149-158, Springer-Verlag, May 2009.
  3. Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA: Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems, in D. M. Dubois (Ed.), "Computing Anticipatory Systems: CASYS 2007 - Eighth International Conference, Liege, Belgium, 6-11 August 2007," AIP Conference Proceedings, Vol. 1051, pp. 244-254, American Institute of Physics, November 2008. (Best Paper Award awarded at the Eighth International Conference on Computing Anticipatory Systems)
  4. Yuichi GOTO, Takahiro KOH, and Jingde CHENG: A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations, in I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 5178, pp. 526-535, Springer-Verlag, September 2008.
  5. Takahiro KOH, Yuichi GOTO, and Jingde CHENG: A Fast Duplication Checking Algorithm for Forward Reasoning Engines, in I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 5178, pp. 499-507, Springer-Verlag, September 2008.
  6. Shoichi MORIMOTO, Shinjiro SHIGEMATSU, Yuichi GOTO, and Jingde CHENG: Classification, Formalization and Verification of Security Functional Requirements, in V. Geffert et al. (Eds.), "SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, High Tatras, Slovakia, January 19-25, 2008, Proceedings," Lecture Notes in Computer Science, Vol. 4910, pp. 622-633, Springer-Verlag, January 2008.
  7. Jingde CHENG, Yuichi GOTO, Shinsuke NARA, and Takahiro KOH: A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing, in B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 4693, pp. 840-851, Springer-Verlag, September 2007.
  8. Jingde CHENG, Shinsuke NARA, and Yuichi GOTO: FreeEnCal: A Forward Reasoning Engine with General-Purpose, in B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 4693, pp. 444-452, Springer-Verlag, September 2007.
  9. Takumi ENDO, Yuichi GOTO, and Jingde CHENG: Measuring Reactability of Persistent Computing Systems, in M. Lumpe and W. Vanderperren (Eds.), "Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers," Lecture Notes in Computer Science, Vol. 4829, pp. 144-151, Springer-Verlag, December 2007.
  10. Isao TAKAHASHI, Shinsuke NARA, Yuichi GOTO, and Jingde CHENG: EPLAS: An Epistemic Programming Language for All Scientists, in Y. Shi (Eds.), "Computational Science - ICCS 2007: 7th International Conference, Beijing, China, May 27-30, 2007, Proceedings, Part I," Lecture Notes in Computer Science, Vol. 4487, pp. 406-413, Springer-Verlag, May 2007.
  11. Mohammad Reza SELIM, Takumi ENDO, Yuichi GOTO, and Jingde CHENG: A Comparative Study between Soft System Bus and Traditional Middlewares, in R. Meersman, Z. Tari, P. Herrero et al. (Eds.), "On the Move to Meaningful Internet Systems and Ubiquitous Computing 2006: OTM 2006 Workshops, Montpellier, France, October 30 - November 3, 2006, Proceedings," Lecture Notes in Computer Science, Vol. 4278, pp. 1264-1273, Springer-Verlag, October 2006.
  12. 堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 満田 成紀・羽生田 栄一編, ソフトウェアエンジニアリング最前線2006, pp. 59-66, 近代科学社, 2006年10月.
  13. Feng SHANG, Shinsuke NARA, Takashi OMI, Yuichi GOTO, and Jingde CHENG: A Prototype Implementation of an Anticipatory Reasoning-Reacting System, in D. M. Dubois (Ed.), "Computing Anticipatory Systems: CASYS 2005 - Seventh International Conference, Liege, Belgium, 8-13 August 2005," AIP Conference Proceedings, Vol. 839, pp. 401-414, American Institute of Physics, June 2006.
  14. Takumi ENDO, Junichi MIURA, Koichi NANASHIMA, Shoichi MORIMOTO, Yuichi GOTO, and Jingde CHENG: Security in Persistently Reactive Systems, in T. Enokido, L. Yan, B. Xiao, D. Kim, Y. Dai, L. T. Yang (Eds.), "Embedded and Ubiquitous Computing: EUC 2005 Workshops: UISW, NCUS, SecUbiq?, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005, Proceedings," Lecture Notes in Computer Science, Vol. 3823, pp. 874-883, Springer-Verlag, December 2005.
  15. Shinsuke NARA, Takashi OMI, Yuichi GOTO, and Jingde CHENG: A General-purpose Forward Deduction Engine for Modal Logics, in R. Khosla, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, 14-16 September, 2005, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 3682, pp. 739-745, Springer-Verlag, September 2005.
  16. Jingde CHENG and Yuichi GOTO: Representing and Reasoning about Spatial Knowledge Based on Spatial Relevant Logic, in S. Wang, K. Tanaka, et al. (Eds.), “Conceptual Modeling for Advanced Application Domains, ER 2004 Workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 2004, Proceedings,” Lecture Notes in Computer Science, Vol. 3289, pp. 114-126, Springer-Verlag, November 2004.
  17. Jingde CHENG and Yuichi GOTO: A Strong Relevant Logic Approach to the Calculus of Fuzzy Conditionals, in D. Ruan, P. D’hondt, and E. E. Kerre (Ed.), “Computational Intelligent Systems for Applied Research,” pp. 66-74, World Scientific, September 2002.

査読付き国際会議論文集に掲載された論文_

  1. Yuichi GOTO and Jingde CHENG: Information Assurance, Privacy, and Security in Ubiquitous Questionnaire, Proceedings of the 4th International Conference on Frontier of Computer Science and Technology (FCST '09), pp. 619-624, Shanghai, China, IEEE Computer Society Press, December 2009.
  2. Ahmad IQBAL, Daisuke HORIE, Yuichi GOTO, and Jingde CHENG: A Database System for Effective Utilization of ISO/IEC 27002, Proceedings of the 4th International Conference on Frontier of Computer Science and Technology (FCST '09), pp. 607-612, Shanghai, China, IEEE Computer Society Press, December 2009.
  3. Jingde CHENG, Yuichi GOTO, Daisuke HORIE, Junichi MIURA, Toshio KASAHARA, and Ahmad IQBAL, Development of ISEE: An Information Security Engineering Environment, Proceedings of the 7th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA '09), pp. 505-510, Chengdu, China, IEEE Computer Society Press, August 2009.
  4. Jingde CHENG, Yuichi GOTO, and Daisuke HORIE: ISEE: An Information Security Engineering Environment, Proceedings of International Conference on Security and Cryptography (SECRYPT '09), pp. 395-400, Milan, Italy, INSTICC Press, July 2009.
  5. Daisuke HORIE, Toshio KASAHARA, Yuichi GOTO, and Jingde CHENG: A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems, Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS '09), pp. 897-902, Shanghai, China, IEEE Computer Society Press, June 2009.
  6. Youcheng CHEN, Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG: An Improvement of REM: A Replication Oriented Event-based Middleware, Proceedings of the 4th International Conference on Availability, Reliability and Security (ARES '09), pp. 641-646, Fukuoka, Japan, IEEE Computer Society Press, March 2009.
  7. Kenichi YAJIMA, Shoichi MORIMOTO, Daisuke HORIE, Noor Shelia AZREEN, Yuichi GOTO, and Jingde CHENG: FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408, Proceedings of the 4th International Conference on Availability, Reliability and Security (ARES '09), pp. 624-629, Fukuoka, Japan, IEEE Computer Society Press, March 2009.
  8. Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG: Ensuring Reliability and Availability of Soft System Bus, Proceedings of the 2nd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI '08), pp. 52-59, Yokohama, Japan, The IEEE Reliability Society and The IEEE Systems, Man, and Cybernetics Society, July 2008.
  9. Jingde CHENG, Yuichi GOTO, Shoichi MORIMOTO, and Daisuke HORIE: A Security Engineering Environment Based on ISO/IEC Standards: Providing Standard, Formal, and Consistent Supports for Design, Development, Operation, and Maintenance of Secure Information Systems, Proceedings of the 2nd International Conference on Information Security and Assurance (ISA '08), pp. 350-354, Busan, Korea, IEEE Computer Society Press, April 2008.
  10. Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG: Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems, Proceedings of the 3rd International Conference on Availability, Reliability and Security (ARES '08), pp. 171-178, Barcelona, Spain, IEEE Computer Society Press, March 2008.
  11. Daisuke HORIE, Shoichi MORIMOTO, Noor AZIMAH, Yuichi GOTO, and Jingde CHENG: ISEDS: An Information Security Engineering Database System Based on ISO Standards, Proceedings of the 3rd International Conference on Availability, Reliability and Security (ARES '08), pp. 1219-1225, Barcelona, Spain, IEEE Computer Society Press, March 2008.
  12. Jingde CHENG, Yuichi GOTO, Masato KOIDE, Keigo NAGAHAMA, Masami SOMEYA, Yusuke UTSUMI, and Ayaka SHIONOIRI: ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire, Proceedings of the 2nd IEEE Asia-Pacific Services Computing Conference (APSCC '07), pp. 187-194, Tsukuba, Japan, IEEE Computer Society Press, December 2007. (Best Paper Award)
  13. Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG: A Replication Oriented Approach to Event Based Middleware Over Structured Peer to Peer Networks, Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-Hoc Computing, A Workshop of ACM/IFIP/USENIX 8th International Middleware Conference (MPAC 2007 of Middleware 2007), pp. 61-66, Newport Beach, USA, ACM Press, November 2007.
  14. Mohammad Reza SELIM, Takumi ENDO, Yuichi GOTO, and Jingde CHENG: Distributed Hash Table Based Design of Soft System Buses, Proceedings of the 2nd International Conference on Scalable Information Systems (INFOSCALE '07), Suzhou, China, ACM, June 2007.
  15. Shoichi MORIMOTO, Shinjiro SHIGEMATSU, Yuichi GOTO, and Jingde CHENG: Formal Verification of Security Specifications with Common Criteria, Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC'07), pp. 1506-1512, Seoul, Korea, ACM, March 2007.
  16. Jingde CHENG, Shinsuke NARA, Takahiro KOH, and Yuichi GOTO: The Theory Grid and Grid Theorists, Proceedings of the 2nd International Conference on Semantics, Knowledge and Grid (SKG'06), Guilin, China, IEEE Computer Society, November 2006.
  17. Jingde CHENG, Yuichi GOTO, Masami SOMEYA, and Takumi ENDO: Persistent Computing Systems as an Infrastructure for Pervasive Services, Proceedings of the 1st International Symposium on Pervasive Computing and Applications (SPCA'06), pp. 104-109, Urumchi, China, IEEE Computer Society, August 2006.
  18. Yuichi GOTO and Jingde Cheng: A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic, Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC'06), pp. 42-43, Dijon, France, April 2006.
  19. Shoichi MORIMOTO, Shinjiro SHIGEMATSU, Yuichi GOTO, and Jingde CHENG: A Security Specification Verification Technique Based on the International Standard ISO/IEC 15408, Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC'06), pp. 1802-1803, Dijon, France, April 2006.
  20. Takumi ENDO, Junichi MIURA, Koichi NANASHIMA, Shoichi MORIMOTO, Yuichi GOTO, and Jingde CHENG: Security Issues in Persistently Reactive Systems (Fast Abstract), Supplement of the IEEE-CS 2005 International Conference on Dependable Systems and Networks (DSN'05), pp. 56-57, Yokohama, Japan, June 2005.
  21. Xiaobin WANG, Yuichi GOTO, Shinsuke NARA, and Jingde CHENG: Automated Theorem Finding by Forward Deduction Based on Strong Relevant Logic: A Case Study in NBG Set Theory, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering), pp. 83-91, Honjo, Japan, September 2003.
  22. Shinsuke NARA, Yuichi GOTO, and Jingde CHENG: Efficient Forward Deduction for Discovery and Prediction by Parallel Processing, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering), pp. 76-82, Honjo, Japan, September 2003.
  23. Yuichi GOTO, Takahiro KOH, and Jingde CHENG: A Comparative Study on Paradoxical Conditionals in Classical Mathematical Logic, Relevant Logics, and Strong Relevant Logics, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering), pp. 69-75, Honjo, Japan, September 2003.
  24. Ru LU, Feng SHANG, Yuichi GOTO, and Jingde CHENG: A Digital Reference Room for E-learning, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering), pp. 17-21, Honjo, Japan, September 2003.
  25. Jingde CHENG, Naoki AKIMOTO, Yuichi GOTO, Masato KOIDE, Kouichi NANASHIMA, and Shinsuke NARA: HILBERT : An Autonomous Evolutionary Information System for Teaching and Learning Logic, Proceedings of the 6th International Conference on Computer Based Learning in Science, Vol. 1, pp. 245-254, Nicosia, Cyprus, July 2003.
  26. Shinsuke NARA, Yuichi GOTO, Daisuke TAKAHASHI, and Jingde CHENG: Parallel Forward Deduction Algorithms for General-Purpose Entailment Calculus on a Clusters of PCs, Proceedings of the IASTED International Conference on Networks, Parallel and Distributed Processing, and Applications, pp. 359-364, Tsukuba, Japan, October 2002.
  27. Yuichi GOTO, Daisuke TAKAHASHI, and Jingde CHENG: Improving the Performance of Automated Forward Deduction System EnCal on Shared-Memory Parallel Computers, Proceedings of the 3rd International Conference on Parallel and Distributed Computing, Applications and Technologies, pp. 63-68, Kanazawa, Japan, September 2002.
  28. Yuichi GOTO, Daisuke TAKAHASHI, and Jingde CHENG: Parallel Forward Deduction Algorithms of General-Purpose Entailment Calculus on Shared-Memory Parallel Computers, Proceedings of the 2nd ACIS International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing, pp. 168-175, Nagoya, Japan, August 2001.

査読付き国際会議論文集に掲載された論文概要_

  • Yuichi GOTO, Ryota KUBONIWA, and Jingde CHENG: Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems, Abstract Book of the Ninth International Conference on Computing Anticipatory Systems (CASYS '09), Symposium 4, p. 8, Liege, Belgium, CHAOS, August 2009.
  • Takahiro KOH, Yuichi GOTO, and Jingde CHENG: Fast Anticipatory Reasoning for Computing Anticipatory Systems, Abstract Book of the Ninth International Conference on Computing Anticipatory Systems (CASYS '09), Symposium 4, p. 5, Liege, Belgium, CHAOS, August 2009.
  • Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA: Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems, 8th International Conference on Computing Anticipatory Systems (CASYS '07), Symposium 4, p. 13, Liege, Belgium, CHAOS, August 2007.
  • Yuichi GOTO, Takumi ENDO, and Jingde CHENG: Continuous Reactability of Persistent Computing Systems, 8th International Conference on Computing Anticipatory Systems (CASYS '07), Symposium 4, p. 11, Liege, Belgium, CHAOS, August 2007.
  • Natsumi KITAJIMA, Shisuke NARA, Yuichi GOTO, and Jingde CHENG: A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems, 8th International Conference on Computing Anticipatory Systems (CASYS'07), Symposium 2, p. 12, Liege, Belgium, CHAOS, August 2007.
  • Shinsuke NARA, Feng SHANG, Takashi OMI, Yuichi GOTO, and Jingde CHENG: An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems, Abstract Book of the 7th International Conference on Computing Anticipatory Systems (CASYS'05), Symposium 5, p. 5, Liege, Belgium, August 2005.
  • Feng SHANG, Shinsuke NARA, Takashi OMI, Yuichi GOTO, and Jingde CHENG: A Prototype Implementation of an Anticipatory Reasoning-Reacting System, Abstract Book of the 7th International Conference on Computing Anticipatory Systems, Symposium 4, Liege, Belgium, August 2005.
  • Takumi ENDO, Junichi MIURA, Koichi NANASHIMA, Shoichi MORIMOTO, Yuichi GOTO, and Jingde CHENG: Security Issues in Persistently Reactive Systems (Fast Abstract), Supplement of the IEEE-CS 2005 International Conference on Dependable Systems and Networks, Yokohama, Japan, July 2005.
  • Yuichi GOTO, Shinsuke NARA, and Jingde CHENG: Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security, Abstract Book of the 6th International Conference on Computing Anticipatory Systems, Symposium 2, p. 11, Liege, Belgium, August 2003.

査読付き国内シンポジウム論文集に掲載された論文_

  • 染谷 雅美, Mohammad Reza Selim, 後藤 祐一, 程 京徳: 動的再構成の観点からのソフトシステムバスとエンタープライズサービスバスの比較, 情報処理学会ソフトウェア工学研究会(SIGSE) 2007年ウィンターワークショップ(WWS'07)論文集, 情報処理学会シンポジウムシリーズ Vol. 2007, No. 2, pp. 77-78, 那覇, 日本, 2007年1月.
  • 染谷 雅美, 内海 悠輔, 塩野入 彩香, 後藤 祐一, 程 京徳: ユビキタスサービスのための汎用電子アンケートサーバ ENQUETE-BAISE, 情報処理学会ソフトウェア工学研究会(SIGSE) 2002年ウィンターワークショップ(WWS'06)論文集, 情報処理学会シンポジウムシリーズ Vol. 2006, No. 2, pp. 41-42, 鴨川, 日本, 2006年1月.
  • 通 拉ガ, 染谷 雅美, 後藤 祐一, 程 京徳: Webアプリケーションシステムにおけるパフォーマンスボトルネックの分類と考察, 情報処理学会ソフトウェア工学研究会(SIGSE) 2002年ウィンターワークショップ(WWS'06)論文集, 情報処理学会シンポジウムシリーズ Vol. 2006, No. 2, pp. 39-40, 鴨川, 日本, 2006年1月.
  • 後藤 祐一, 遠藤 匠, 染谷 雅美, 高橋 勲男, 程 京徳: 人の集まりを支援するツールQWikS（クウィックス）(ポスター論文), 情報処理学会第47回プログラミングシンポジウム論文集, pp. 175-176, 箱根, 日本, 2006年1月.
  • 森本 祥一, 重松 真二郎, 後藤 祐一, 程 京徳: ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法, 第二回システム検証の科学技術シンポジウム予稿集, pp. 12-23, 大阪, 日本, 2005年10月.
  • 遠藤 匠, 三浦 潤一, 七島 功一, 森本 祥一, 後藤 祐一, 程 京徳: 永続コンピューティング環境を実現するソフトシステムバスパッケージの基本要求と機能 (Poster Abstract), 情報処理学会2005年先進的計算基盤システムシンポジウム論文集, pp. 209-210, つくば, 日本, May 2005.
  • 後藤 祐一, 小出 雅人, 長濱 圭吾, 程 京徳: ENQUETE-BAISE: ユビキタスアンケートのための汎用電子アンケートサーバ, 情報処理学会2004年情報学シンポジウム論文集, pp. 81-84, 東京, 日本, 2004年1月.
  • 七島功一, 後藤祐一, 程京徳: ソフトシステムバスの実現について -- ユビキタスコンピューティングのための永続システムを目指して, 情報処理学会2004年情報学シンポジウム論文集, pp. 77-80, 東京, 日本, 2004年1月.
  • 奈良 信介, 後藤 祐一, 程 京徳: 並列処理による推論エンジンの効率化, 情報処理学会第10回数理モデル化と問題解決シンポジウム -- 並列・分散処理による問題解決シンポジウム -- 論文集, pp. 101-108, 京都, 日本, 2003年10月.
  • 七島 功一, 後藤 祐一, 程 京徳: システムバスを用いた反応的システムの構築法, 情報処理学会ソフトウェア工学研究会 2001年度ウィンターワークショップ(WW'02)論文集, pp. 15-16, 伊東市, 日本, 2002年1月.
  • 後藤 祐一, 劉 欣, 小出 雅人, 高橋 大介, 程 京徳: 電子投票・アンケートはe-サービスになれるか, 情報処理学会ソフトウェア工学研究会2001年度ウィンターワークショップ論文集, pp. 63-64, 伊東, 日本, 2002年1月.

戻る_