原创力文档- 1
- 0
- 约9.3万字
- 约 9页
- 2017-08-27 发布于上海
- 举报
an extension to pi-calculus for performance evaluation一个扩展合作的绩效评估
Journal of Software Engineering and Applications, 2011, 1, 9-17
doi:10.4236/jsea.2011.41002 Published Online January 2011 (/journal/jsea)
An Extension to Pi-Calculus for Performance
Evaluation
Shahram Rahimi, Elham S. Khorasani, Yung-Chuan Lee, Bidyut Gupta
Department of Computer Science, Southern Illinois University, Illinois, USA.
Email: {rahimi, elhams, yclee, bidyut}@
Received October 12th, 2010; revised November 25th, 2010; accepted November 30th, 2010.
ABSTRACT
Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems.
您可能关注的文档
- an average power reduction method for web applications on wireless terminals平均功率降低无线终端上web应用程序的方法.pdf
- an atypical presentation with diagnostic challenge of a large cell neuroendocrine cancer of lung a case report and review of the literature非典型表现与诊断挑战肺大细胞神经内分泌癌的病例报告和文献之回顾.pdf
- an axisymmetric squeezing fluid flow between the two infinite parallel plates in a porous medium channel一个轴对称挤压流体在多孔介质两个无限平行板之间的通道.pdf
- an auto-configuration of 4m group management using wireless sensor networks一个自动配置4 m组管理使用无线传感器网络.pdf
- an economic evaluation of new optional calling plans in telephone service经济评价的新选的通话计划在电话服务.pdf
- an ecosystem (eco) approach on wisdom societies and sociotechnical systems一个生态系统(eco)方法对智慧社会和社会技术系统.pdf
- an edgeworth box approach toward conceptualising economic integration埃奇沃思盒方法即可形成经济一体化.pdf
- an eccentrically biased rehabilitation program early after tka surgery一个反常地偏向早期tka术后康复计划.pdf
- an effective approach to improving day-case rates following laparoscopic cholecystectomy一个有效的方法来改善day-case利率后腹腔镜胆囊切除术.pdf
- an autonomous omnidirectional robot一个自治的全向机器人.pdf
- an extensive cholesteatoma with bezold’s abscess一个广泛的胆脂瘤bezold脓肿.pdf
- an extension of the spectral mapping theorem频谱的扩展映射定理.pdf
- an experimental study on the shape changes of tio2 nanocrystals synthesized by microemulsion-solvothermal method形状变化的试验研究二氧化钛纳米晶体合成了microemulsion-solvothermal方法.pdf
- an extension of -zeta functionζ函数的一个扩展.pdf
- an identifier-based network access control mechanism based on locatoridentifier split一个基于locatoridentifier identifier-based网络访问控制机制.pdf
- an hc-pcf fluorescence spectrocopy for detection of microsphere samples based on refractive index scaling law一个hc-pcf荧光spectrocopy检测微球样品基于折射率标度律.pdf
- an herbal formula li85008f inhibits lipogenesis in 3t3-l1 adipocytes一个草药配方3 t3-l1 li85008f抑制脂肪生成脂肪细胞.pdf
- an identity related to jordan's inequality身份与乔丹的不平等.pdf
- an fpga-based pid controller design for chaos synchronization by evolutionary programming一个fpga pid控制器设计的混沌同步进化编程.pdf
- an image analysis method for quantification of hepatic perfusion based on contrast-enhanced ultrasound imaging一个量化的图像分析方法基于对比度增强超声成像肝灌注.pdf
最近下载
- THCBA《纤维水泥板底模装配式保温隔声一体化楼承板应用技术标准》.pdf
- TCMCHA009-2022 母婴友好型汽车.pdf VIP
- 无偿献血知识宣传课件.pptx VIP
- 2025年新高考2卷（新课标Ⅱ）数学试卷（含答案及解析）.pdf
- 2026年《国有企业领导人员廉洁从业规定》修订课件.ppt
- 2024年高考新课标全国Ⅱ卷数学真题卷（含答案与解析） .pdf VIP
- LK-1900A 电脑套结机说明书.pdf VIP
- 2023年全国新高考Ⅱ卷（新课标Ⅱ）高考数学试卷真题（含答案逐题解析）.pdf VIP
- 浮士德 剧本.doc VIP
- 江苏省无锡市江阴市2023-2024学年第九届优利信杯九年级下学期竞赛数学试卷（含答案）.docx VIP
文档评论（0）