位置：成果数据库 > 会议 > 会议详情页
Hierarchical Eventual Leader Election for Dynamic Systems
  • 所属机构名称：南京航空航天大学
  • 会议名称：14th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2014
  • 时间：2014
  • 成果类型：会议
  • 相关项目：基于模型检测的软件动态演化一致性保障机制研究
同会议论文项目
基于模型检测的软件动态演化一致性保障机制研究
期刊论文 9 会议论文 9
同项目会议论文
Hierarchical Timed Automata Based Verification of Dynamic Evolution Process in Open Environments
Combining Text Mining and Data Mining for Bug Report Classification
Towards A Novel Approachfor Defect Localization Based on Part-of-Speech and Invocation
Minimal Cut Sequence Generation for State/Event Fault Trees
Towards Fine-Grained Verification of Application Mobility
Model Checking Partial Software Product LineDesigns
Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking
A Novel QoS Monitoring Approach Sensitive to Environmental Factors