About 57 item dissertation in line with pi calculus query results,the following is 1 to 50(Search took 0.059 seconds)

  1. The Prpgress Propety in a Type System for Client-Server Interactions,YangZhenGuo/Zhejiang Normal University,0/11
  2. Research on Combination Method of Collaborative Simulation Model of Underwater Vehicle,MaZuo/Harbin Engineering University,0/47
  3. Research on Ontology-based Automated Trust Negotiation and Its Security,LiuXinXin/South China University of Technology,0/63
  4. Key Technologies on Service Oriented Grid Workflow,GuoWenCai/Beijing University of Science and Technology,1/35
  5. Research on BufferPetri Net Semantic Translation for a New-type Pi Calculus,WangZhi/Jilin University,0/17
  6. On the Bisimualtion Theory, Expressiveness and Proof System of Some Name-passing Calculi,XueJianXin/Shanghai Jiaotong University,0/23
  7. Representation and Verification of Ontology Evolution,DongXueYang/Jilin University,0/51
  8. Research on business process management oriented subject,YangJinWu/Yunnan University,0/2
  9. A Deadlock Detection Method for Cross-organizational Business Process,ZuoXingHua/Dalian University of Technology,0/37
  10. Design and Development of College Student Information Management System Based on Workflow Technology,HuangXianMing/Central South University,0/78
  11. The Study of the Automated Verification of the Polyadic Pi-calculus’s Bisimulation,LiTianYe/Jilin University,0/22
  12. Study on Algebra Methods for Cryptographic Protocol Verification,LiYuan/Hefei University of Technology,0/262
  13. The Research on Service Composition in Service-Oriented Computing,LiaoJun/University of Electronic Science and Technology,5/1342
  14. Study of Formal Model of Web Services Composition,GuXiWu/Huazhong University of Science and Technology,5/921
  15. Key Technologies Research of Next Generation Mobile Internet Based on User Behavior,ZhangYongZuo/Central South University,3/710
  16. Intelligent Scheduling Technology in Flexible Manufacturing Shop Floor Based on Mechanism of Autonomy and Coordination,WangShiJin/Shanghai Jiaotong University,5/498
  17. Research on Synergistic Learning Technologies,JiZuo/East China Normal University,2/789
  18. Research on Access Control Model and Security Analysis in Workflow Systems,LuYaHui/Tsinghua University,6/837
  19. Research of Web Service Composition Based on Pi-Calculus,LiDeSheng/Beijing University of Posts and Telecommunications,0/158
  20. Verification of Web Servies Composition Based on Pi-Calculus,JingHongYe/Taiyuan University of Technology,2/237
  21. Research on Formal Verification of Web Services Flow Based on Pi-Calculus,WeiDongYan/Zhejiang University,5/262
  22. Research on Agent Interactions Based on Pi-Calculus,HeFei/Taiyuan University of Technology,2/124
  23. Concurrent object calculus semantic model and object language,WuHaiTao/Zhengzhou University,1/90
  24. Research on the Attributes of Adaptive Software Architecture,ZhangGuoYou/Taiyuan University of Technology,3/233
  25. Research on Relation between Pi-Calculus and Dynamic Description Logic DDL and Its Application,WangMeiLing/Jilin University,0/235
  26. Transforming Pi Calculus-based Model for Web Service Composition to WSDL,PuJie/Jilin University,1/321
  27. Coordinate Multi-agent with Organization in Distributed Scheduling System,XueFan/Civil Aviation University of China,1/102
  28. From Transaction Processing to Reliable Service Composition,XiaoQingJun/Shanghai Jiaotong University,0/134
  29. Formal Modeling and Compatibility Analysis of Web Service Composition,HuangShao/Hunan Normal University,3/250
  30. Analysis and Verification of the SOAP Security Based on Pi Calculus,WuZuo/China University of Petroleum,1/87
  31. Research on Government Business Process Analysis Oriented Role Network Model,NiuGuangXin/Dalian University of Technology,2/135
  32. Modeling and Application of Wireless Vending Machine System Based on Pi-Calculus,WangLiChao/Dalian University of Technology,1/92
  33. Study on Verification Method for Web Service Compositional Compatibility Based on Pi-Calculus,JiaZhiChun/Dalian Maritime University,1/177
  34. Research on Pi-calculus-Based Software Architecture Refinement,LiWei/Hunan University,0/113
  35. Research on the Web Services Composition Based on QoS in Service-Oriented Computing,LiYongJun/Central South University,4/459
  36. Research of Automatic Composition Based on Formalization for Semantic Web Service,WangYongLian/Taiyuan University of Technology,1/181
  37. Research and Realization: A Software Model to Support Business Process Variability,HongYuKe/Shandong University,1/65
  38. Research on the Modeling Method of Workflow and Its Model Verification Mdthoe,WangJinPeng/Yanshan University,2/140
  39. Mobile communication system mobility management Formal Specification and Verification,KangJuanHua/East China Normal University,0/108
  40. Research on the Transformation from BPMN to WS-CDL,LiZuo/Fudan University,3/99
  41. Inspection and realization of the nature of the Web service composition,LiuLei/University of Electronic Science and Technology,0/57
  42. Research on Description and Verification of Traffic Web Services Based on Pi-Calculus,LiuChe/Dalian University of Technology,1/96
  43. Research on Petri Nets Semantics Translation for Finite Pi Calculus,LiuYong/Jilin University,0/127
  44. Π- calculus based on WS-BPEL modeling and implementation,YuPengWei/Northwestern University,1/178
  45. Formal Modeling and Research of the 3G Mobile Communication Service Based on Pi-calculus,GaoChao/Jilin University,0/21
  46. Study on Formalization of Ontology Evolution with Pi Calculus,LuZuo/Jilin University,1/89
  47. An Ontology Model Based on SetPi-calculus,FanRong/Jilin University,1/15
  48. A Pi-Calculus for Web Service Composition,LiYanHong/Shandong Institute of Economics,0/71
  49. Research on Inter-organizational Business Collaborations Oriented Role Network Model,MaJunFeng/Dalian University of Technology,2/60
  50. Research and Application on the Integration and Interactive Mechanism of Heterogeneous Models,YangYuanYuan/Nanjing University of Aeronautics and Astronautics,0/17

Total 2 Pages First Previous 1 2 Next Last

© 2012 www.DissertationTopic.Net  Mobile