首页> 外文会议>International workshop on grid and cooperative computing >Application Modelling Based on Typed Resources
【24h】

Application Modelling Based on Typed Resources

机译:基于键入资源的应用建模

获取原文

摘要

We have developed a type system for the calculus of Safe Mobile Resources(SR), which is a variant of Mobile .Resources(MR). In this paper, we will show the expressive power of the calculus. Some examples will be examined to illustrate how to use the features in SR to model the usual distributed applications in a mobile or cooperative environment.
机译:我们开发了一种用于安全移动资源的微积分(SR)的类型系统,这是移动.resources(MR)的变体。在本文中,我们将展示微积分的表现力。将检查一些示例以说明如何使用SR中的功能来模拟移动或协作环境中的通常的分布式应用程序。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号