2008 |
20 | EE | Zhiming Chang,
XinJun Mao,
Zhichang Qi:
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph.
ICYCS 2008: 118-123 |
19 | EE | Zhiming Chang,
XinJun Mao,
Zhichang Qi:
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs.
WICSA 2008: 331-334 |
18 | EE | XinJun Mao,
Lijun Shan,
Hong Zhu,
Ji Wang:
An adaptive casteship mechanism for developing multi-agent systems.
IJCAT 31(1/2): 17-34 (2008) |
2007 |
17 | EE | XinJun Mao,
Jianming Zhao,
Ji Wang:
Engineering Adaptive Multi-Agent Systems with ODAM Methodology.
PRIMA 2007: 380-385 |
16 | EE | XinJun Mao,
Huocheng Wu,
Jie Li:
Integrating Agent Technology and SIP Technology to Develop Telecommunication Applications with JadexT.
PRIMA 2007: 386-391 |
15 | EE | Zhiming Chang,
XinJun Mao,
Zhichang Qi:
An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style.
TASE 2007: 57-66 |
2006 |
14 | EE | Jianming Zhao,
XinJun Mao,
Ji Wang:
Developing Multi-Agent Systems with Dynamic Binding Mechanism.
IAT 2006: 52-58 |
13 | | XinJun Mao,
Zhiming Chang,
Lijun Shang,
Hong Zhu,
Ji Wang:
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents.
SEKE 2006: 639-644 |
2005 |
12 | EE | XinJun Mao,
Ji Wang,
Jiajia Chen:
Modeling Organization Structure of Multi-Agent System.
IAT 2005: 116-119 |
11 | EE | Jianxing Li,
XinJun Mao,
Yao Shu:
An OO-based Design Model of Software Agent.
PDCAT 2005: 434-440 |
2004 |
10 | EE | XinJun Mao,
Eric Yu:
Organizational and Social Concepts in Agent Oriented Software Engineering.
AOSE 2004: 1-15 |
9 | EE | Hong Zhu,
Bin Zhou,
XinJun Mao,
Lijun Shan,
David A. Duce:
Agent-Oriented Formal Specification of Web Services.
GCC Workshops 2004: 633-641 |
8 | EE | XinJun Mao,
Ji Wang,
Eric Yu:
A Framework to Specify and Evaluate Coordination in MAS with Logic.
IAT 2004: 325-328 |
7 | EE | XinJun Mao,
Jiajia Chen:
Model Organization Constraints in Multi-Agent System.
Intelligent Information Processing 2004: 1-10 |
6 | EE | XinJun Mao,
Gang Wu,
Huaimin Wang:
Cooperation models for service oriented multi-agent system.
SAC 2004: 510-511 |
2003 |
5 | EE | Qi Yan,
XinJun Mao,
Hong Zhu,
Zhi-Chang Qi:
Modelling Multi-agent Systems with Soft Genes, Roles, and Agents.
AOSE 2003: 231-245 |
4 | EE | Yan Qi,
Xin Wang,
Wei Yan,
XinJun Mao,
Zhi-Chang Qi:
A Formal Specification and Method for MAS as a Distributed System.
APPT 2003: 189-193 |
3 | EE | Xin Wang,
Qi Yan,
XinJun Mao,
Zhi-Chang Qi:
Generating Test Oracle for Role Binding in Multi-Agent Systems.
APSEC 2003: 108- |
2 | EE | Qi Yan,
XinJun Mao,
Lijun Shan,
Zhi-Chang Qi,
Hong Zhu:
Soft Gene, Role, Agent: MABS Learns from Sociology.
IAT 2003: 450-453 |
2002 |
1 | | Gang Wu,
Huaimin Wang,
XinJun Mao,
Quanyuan Wu:
Growing Distributed System.
PDPTA 2002: 399-403 |