2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781457703096

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems ◽

10.1109/ease.2011.6 ◽

2011 ◽

Download Full-text

Program Committee

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems ◽

10.1109/ease.2011.5 ◽

2011 ◽

Keyword(s):

Program Committee

Download Full-text

Decentralized Reconfiguration for Self-Organizing Resource-Flow Systems Based on Local Knowledge

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems ◽

10.1109/ease.2011.8 ◽

2011 ◽

Cited By ~ 8

Author(s):

Gerrit Anders ◽

Hella Seebach ◽

Florian Nafz ◽

Jan-Philipp Steghöfer ◽

Wolfgang Reif

Keyword(s):

Local Knowledge ◽

Resource Flow ◽

Flow Systems ◽

Self Organizing

Download Full-text

Applying Adaptive Role-Based Model to Self-Adaptive System Constructing Problems: A Case Study

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems ◽

10.1109/ease.2011.12 ◽

2011 ◽

Cited By ~ 2

Author(s):

Supasit Monpratarnchai ◽

Tamai Tetsuo

Keyword(s):

Adaptive System ◽

Role Based ◽

Adaptive Role ◽

Self Adaptive

Download Full-text

Title Page i

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems ◽

10.1109/ease.2011.1 ◽

2011 ◽

Keyword(s):

Title Page

Download Full-text

An Empirical Study on the Impacts of Autonomy of Components on Qualities of Software Systems

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems ◽

10.1109/ease.2011.9 ◽

2011 ◽

Author(s):

Tingxun Shi ◽

Jianzhu Ma ◽

Wenpin Jiao ◽

Fanjing Meng

Keyword(s):

Empirical Study ◽

Software Systems

Download Full-text

Foreword

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems ◽

10.1109/ease.2011.4 ◽

2011 ◽

Download Full-text

Formal Specification of Automatic DMARF Based on CSP

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems ◽

10.1109/ease.2011.7 ◽

2011 ◽

Cited By ~ 1

Author(s):

Jieqi Ding ◽

Huibiao Zhu ◽

Qin Li

Keyword(s):

Formal Specification

Download Full-text

Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems ◽

10.1109/ease.2011.13 ◽

2011 ◽

Cited By ~ 5

Author(s):

Yongwang Zhao ◽

Dianfu Ma ◽

Jing Li ◽

Zhuqing Li

Keyword(s):

Model Checking ◽

Temporal Logic ◽

Linear Temporal Logic

Download Full-text

Author Index

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems ◽

10.1109/ease.2011.18 ◽

2011 ◽

Download Full-text

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Table of Contents

Program Committee

Decentralized Reconfiguration for Self-Organizing Resource-Flow Systems Based on Local Knowledge

Applying Adaptive Role-Based Model to Self-Adaptive System Constructing Problems: A Case Study

Title Page i

An Empirical Study on the Impacts of Autonomy of Components on Qualities of Software Systems

Foreword

Formal Specification of Automatic DMARF Based on CSP

Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic

Author Index

Export Citation Format

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Table of Contents

Program Committee

Decentralized Reconfiguration for Self-Organizing Resource-Flow Systems Based on Local Knowledge

Applying Adaptive Role-Based Model to Self-Adaptive System Constructing Problems: A Case Study

Title Page i

An Empirical Study on the Impacts of Autonomy of Components on Qualities of Software Systems

Foreword

Formal Specification of Automatic DMARF Based on CSP

Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic

Author Index

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems
Latest Publications