位置：成果数据库 > 期刊 > 期刊详情页
Deadlock detection and recovery for component-based systems
  • 期刊名称：Mathematical and Computer Modelling
  • 时间：2013.5.1
  • 页码：1362-1378
  • 相关项目：体系结构驱动的可信软件构造方法与技术研究
作者： Chen Li, Linpeng Huang, Luxi Chen, Weichao L|
同期刊论文项目
体系结构驱动的可信软件构造方法与技术研究
期刊论文 33 会议论文 75
同项目期刊论文
X10程序差别影响分析
Deadlock detection andrecovery for component-based systems
IncorporatingArchitectural Modeling with State-based Reliability Evaluation
Predicting Consistency-Maintenance Requirement of Code Clones at Copy-and-Paste Time
Injecting Mechanical Faults to Localize Developer Faults for Evolving Software
Who Will Stay in the FLOSS Community? Modelling Participant's Initial Behaviour
A Web service QoS prediction approach based on time and location-aware collaborative filtering
X10程序的差别分析方法
A Graph Grammar Approach to Modelling the Software Architecture of Big Data based Software Systems
Data-Driven Composition of Service-Oriented Situational Web Applications
A constraint-weavingapproach to points-to analysis for AspectJ
How commercial involvement affects open source projects: three case studies on issue reporting
Behavioral View Extension and Synchronization for Software Architecture
Towards a degradation-based mechanism for adaptive overload control
Breeze graph grammar: a graph grammar approach for modeling the software architecture of big data-or
Integrating behavior analysis into architectural modeling
互联网程序语言
运行时软件体系结构的建模与维护
基于静态分析的高精度程序日志解析技术
字符串分析研究进展
电子政务需方参与活动对项目绩效的影响分析