An Extension to Pi-Calculus for Performance Evaluation

来源 :软件工程与应用(英文) | 被引量 : 0次 | 上传用户：douche

【摘要】

：

Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi-calculus offers a conceptual framework

【作者】

：

Shahram Rahimi Elham S. Khoras

【机构】

：

不详

【出处】

：

软件工程与应用(英文)

【发表日期】

：

2011年1期

【关键词】

：

PI-CALCULUS PERFORMANCE EVALUATION MULTI-AGENT Systems System MODELING Pi-calcul

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi-calculus offers a conceptual framework for describing and analyzing the concurrent systems whose configuration may change during the c

其他文献

Mobile Applications Provisioning Using Bluetooth Wireless Technology

In this paper, we propose a cheap means for propagating mobile application using Bluetooth, a convenient short range wireless technology. Today, one of the main

期刊

MOBILEAPPLICATIONAPPLICATIONPROVISIONINGBLUETOOTHMOBILESOCIALNetworkAPPL

Incorporating AOSD to Enhance Model Driven Architecture

Various software development approaches in the present scenario are best suited for a specific application. The software development strategies include both mer

期刊

MODELDrivenArchitectureASPECTOrientedSoftwareDevelopmentComputationalIND

Analysis of Inconsistencies in Object Oriented Metrics

Software Metrics have been proposed for procedural and object oriented paradigms to measure various attributes like complexity, cohesion, software quality, and

期刊

SOFTWAREMetricsOBJECTORIENTSYSTEMSSoftware MetricsObject Orient Systems

充分发挥党的思想政治工作优势

期刊

中共思想政治工作生命线意识群众路线

一种改进的面向切面编程系统设计与实现

简要介绍AOP技术，提出基于AspectJ技术框架的AOP系统的解决方案。给出其在J2EE项目的设计与实现方法，实例研究表明，该框架在设计AOP系统时具有良好的扩展性和简洁性。

期刊

AOPASPECTJJ2EEAOPAspectJ J2EE

山东威海大幅提高特殊教育公用经费标准

据山东省威海市财政局消息今年威海市市属特殊教育学校公用经费补助标准由每生每年3000元提高至小学7000元、初中9000元。这些公用经费将用于实施免费教育、改善办学条件和加

期刊

公用经费标准特殊教育学校威海市山东省补助标准免费教育师资培训办学条件

Rapid and Flexible User-Defined Low-Level Hybridization for Metaheuristics Algorithm in Software Fra

The metaheuristics algorithm is increasingly important in solving many kinds of real-life optimization problems but the implementation involves programming diff

期刊

SOFTWAREFrameworkSCRIPTINGLANGUAGEMetaheuristicsLow-LevelHYBRIDIZATIONUse

走进聋生的心灵

刚进入初中，我们班转来一位皮肤白皙、内向腼腆的大男孩。他原在普校随班就读，来我班后，我一直鼓励他多参加班级活动，还经常在同学面前表扬他，可半学期过去了，他却表现得越来越不合

期刊

心灵聋生班级活动随班就读学习成绩办公室初中内向

An Ubiquitous Service Mobility Mechanism in the Cross Domain Service Framework

Service mobility has become a new issue in the area of service convergence with the advent of versatile mobile devices. Hence, we propose an open service framew

期刊

OpenSERVICEFrameworkSERVICEMOBILITYSERVICESYNCHRONIZATIONPROFILINGSERVIC

让实验点燃盲生智慧的火花

对于盲生来说，无法用眼睛去观察实验、感知物理现象、总结物理规律，是他们学习物理的最大障碍。首先，盲生对自然现象和生活常识没有充足的感官体验，对一些物理现象缺乏直观认识，难

期刊

实验点盲生物理现象火花智慧物理规律观察实验感官体验

An Extension to Pi-Calculus for Performance Evaluation

与本文相关的学术论文