|
Search the dblp DataBase
Zhiming Chang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- XinJun Mao, Zhiming Chang, Lijun Shang, Hong Zhu, Ji Wang
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. [Citation Graph (0, 0)][DBLP] SEKE, 2006, pp:639-644 [Conf]
- Zhiming Chang, XinJun Mao, Zhichang Qi
An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. [Citation Graph (0, 0)][DBLP] TASE, 2007, pp:57-66 [Conf]
SADE: A Development Environment for Adaptive Multi-Agent Systems. [Citation Graph (, )][DBLP]
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs. [Citation Graph (, )][DBLP]
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|