Research field (2):
Communication and network engineering
, Intelligent informatics
Research keywords (7):
Semantic Web Technology
, オントロジー
, エージェント システム
, プロトコル(通信規約)工学
, Agent System
, Formal Description Technique
, Protocol Engineering
Research theme for competitive and other funds (4):
2005 - オントロジーを利用した健康支援システムの構築
エージェント技術を利用した分散並行システムの設計支援
Ontorogy-based
Agent-Based Approach for Building Distributed Concurrent System Design Support System
MISC (70):
"Specification Method for Constrained Concurrent System and Its Support Tool". Proc. of the 1st Electrical Engineering/ Electronics, Computer, Telecommunications, and Information Technology. 2004. (ECTI 2004), pp. 65-68
"Specification Method for Constrained Concurrent System and Its Support Tool". Proc. of the 1st Electrical Engineering/ Electronics, Computer, Telecommunications, and Information Technology. 2004. (ECTI 2004), pp. 65-68