咨询与建议

限定检索结果

文献类型

  • 4 篇 会议

馆藏范围

  • 4 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 4 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 4 篇 distributed appl...
  • 2 篇 automatic verifi...
  • 2 篇 tool support
  • 2 篇 consistency
  • 1 篇 abstract platfor...
  • 1 篇 ndnmaze
  • 1 篇 peer-to-peer
  • 1 篇 named data netwo...
  • 1 篇 replicated data
  • 1 篇 platform-indepen...
  • 1 篇 ipmaze
  • 1 篇 model-driven arc...
  • 1 篇 replicated objec...

机构

  • 2 篇 inria
  • 2 篇 sorbonne univ li...
  • 2 篇 arm res cambridg...
  • 1 篇 peking univ sece...
  • 1 篇 univ twente ctr ...

作者

  • 2 篇 petri gustavo
  • 2 篇 nair sreeja s.
  • 2 篇 shapiro marc
  • 1 篇 li lihua
  • 1 篇 pires lf
  • 1 篇 shi jian
  • 1 篇 xun yunbo
  • 1 篇 piao xuewei
  • 1 篇 lei kai
  • 1 篇 almeida jp
  • 1 篇 dijkman r
  • 1 篇 van sinderen m

语言

  • 4 篇 英文
检索条件"主题词=distributed application design"
4 条 记 录,以下是1-10 订阅
排序:
Proving the safety of highly-available distributed objects  29th
Proving the safety of highly-available distributed objects
收藏 引用
29th European Symposium on Programming (ESOP) held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS)
作者: Nair, Sreeja S. Petri, Gustavo Shapiro, Marc Sorbonne Univ LIP6 Paris France INRIA Paris France ARM Res Cambridge England
To provide high availability in distributed systems, object replicas allow concurrent updates. Although replicas eventually converge, they may diverge temporarily, for instance when the network fails. This makes it di... 详细信息
来源: 评论
Invariant Safety for distributed applications  6
Invariant Safety for Distributed Applications
收藏 引用
6th Workshop on Principles and Practice of Consistency for distributed Data (PaPoC)
作者: Nair, Sreeja S. Petri, Gustavo Shapiro, Marc Sorbonne Univ LIP6 Paris France INRIA Paris France ARM Res Cambridge England
We study a proof methodology for verifying the safety of data invariants of highly-available distributed applications that replicate state. The proof is (1) modular: one can reason about each individual operation sepa... 详细信息
来源: 评论
A Peer-to-Peer File Sharing System over Named Data Networking  22
A Peer-to-Peer File Sharing System over Named Data Networkin...
收藏 引用
22nd IEEE International Conference on Parallel and distributed Systems (ICPADS)
作者: Shi, Jian Piao, Xuewei Li, Lihua Xun, Yunbo Lei, Kai Peking Univ SECE Beijing Peoples R China
Named Data Networking (NDN), a promising Future Internet Architecture design, requires new experimental applications to demonstrate its performance and feasibility. Through designing, implementing, and evaluating NDNM... 详细信息
来源: 评论
On the notion of abstract platform in MDA development
On the notion of abstract platform in MDA development
收藏 引用
8th IEEE International Enterprise distributed Object Computing Conference
作者: Almeida, JP Dijkman, R van Sinderen, M Pires, LF Univ Twente Ctr Telmat & Informat Technol NL-7500 AE Enschede Netherlands
Although platform-independence is a central property in MDA models, the study of platform independence has been largely overlooked in MDA. As a consequence, there is a lack of guidelines to select abstraction criteria... 详细信息
来源: 评论