UM

Browse/Search Results:  1-7 of 7 Help

Selected(0)Clear Items/Page:    Sort:
Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers Journal article
IEEE ACCESS, 2018,Volume: 6,Page: 46949-46961
Authors:  Yang, Yilong;  Li, Xiaoshan;  Qamar, Nafees;  Liu, Peng;  Ke, Wei;  Shen, Bingqing;  Liu, Zhiming
Favorite  |  View/Download:10/0  |  Submit date:2018/10/30
Electronic health records (EHRs)  health information exchange (HIE)  healthcare providers  cloud computing  hybrid cloud  patient privacy  health care resource sharing  
A Tool for Analyzing Clinical Datasets as Blackbox Conference paper
Authors:  Qamar, Nafees;  Yang, Yilong;  Nadas, Andras;  Liu, Zhiming;  Sztipanovits, Janos;  Huhn, M;  Williams, L
Favorite  |  View/Download:7/0  |  Submit date:2018/10/30
Interactive Transformation from Object-Oriented Models to Component-based Models Conference paper
Formal Aspects of Component Software, Oslo, Norway, September 14-16, 2011
Authors:  Dan Li;  Xiaoshan Li;  Zhiming Liu;  Volker Stolz
Favorite  |  View/Download:3/0  |  Submit date:2019/07/24
Model-driven Development  Component Model  Model Transformation  Qvt  Oo Design Model  Sequence Diagram  
rCOS: A Relational Calculus of Components Journal article
World Scientific Press, 2006,Page: 207-238
Authors:  Zhiming Liu;  Jifeng He;  Xiaoshan Li
Favorite  |  View/Download:0/0  |  Submit date:2019/07/30
A Relational Calculus of Components Journal article
Book Series: Series on Component-Based Software Development, 2006,Volume: 2,Page: 207-238
Authors:  Zhiming Liu;  Jifeng He;  Xiaoshan Li
Favorite  |  View/Download:0/0  |  Submit date:2019/07/30
Towards the Integration of a Formal Object-Oriented Method and the Rational Unified Journal article
International Conference on Formal Engineering Methods, 2003,Page: 641-664
Authors:  Zhiming Liu;  Xiaoshan Li;  He Jifeng;  Yifeng Chen
Favorite  |  View/Download:5/0  |  Submit date:2019/05/20
Object-orientation  Uml  Use-cases  Conceptual Models  Requirement Specification  
Verifying Duration Properties of Timed Transition Systems Book chapter
出自: Programming Concepts and Methods PROCOMET ’98:Springer, Boston, MA, 1998, 页码: 327-345
Authors:  Liu, Zhiming;  Ravn, Anders;  Li, Xiaoshan
Favorite  |  View/Download:3/0  |  Submit date:2019/05/24
Real-time Systems  Duration Calculus  Timed Transition Systems  Specification  Verification