Khaled Adel について
Department Of Electrical & Computer Engineering, Univeristy Of Alberta, Ecerf W2-034, 9107-116 Street, Edmonton, AB, Canada について
Miller James について
Department Of Electrical & Computer Engineering, Univeristy Of Alberta, Ecerf W2-034, 9107-116 Street, Edmonton, AB, Canada について
IEEE Transactions on Services Computing について
相互作用 について
言語 について
モデル について
モデル検査 について
Webサービス について
仕様記述言語 について
モデリング について
ワークフロー について
規格 について
ツールキット について
サービス指向 について
π計算 について
パターン認識 について
自然語処理 について
WS について
コレオグラフィ について
モデル化 について
検証 について
π計算 について