MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Junhua Ding" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Formally analyzing software architectural specifications using SAM
by Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng — 2004 — Journal of Systems and Software
… Yu, Tianjun Shi, Junhua Ding, Yi Deng School of Computer Science, Florida International University…
Cited by 1 (0 self) – Add To MetaCart

Modeling And Analyzing Security Protocols In Sam:
by Case Study Zhengfan, Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao
…MODELING AND ANALYZING SECURITY PROTOCOLS IN SAM: A CASE STUDY Zhengfan Dai, Xudong He, Junhua…
Add To MetaCart

A Formal Architectural Model for Logical Agent Mobility
by Dianxiang Xu, Senior Member, Jianwen Yin, Ieee Computer Society, Yi Deng, Junhua Ding — 2003 — IEEE Trans. on Software Engineering
… Society, Yi Deng, Member, IEEE, and Junhua Ding Abstract—The process of agent migration is the major…
Cited by 9 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB