UM

Browse/Search Results:  1-10 of 21 Help

Selected(0)Clear Items/Page:    Sort:
A formal approach to chart patterns classification in financial time series Journal article
INFORMATION SCIENCES, 2017,Volume: 411,Page: 151-175
Authors:  Yuqing Wan;  Yain-Whar Si
Favorite  |  View/Download:7/0  |  Submit date:2018/10/30
Chart Patterns  Formal Specification  Pattern Matching  Financial Time Series  Technical Analysis  
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Authors:  Li Q.;  Wang J.;  Xu Q.;  Huang Y.;  Zhu H.
Favorite  |  View/Download:1/0  |  Submit date:2019/04/04
Emergent Behaviors  Hybrid Relational Modelling Language  Refinement  Swarm Robotic Systems  
Formal analysis of AODV using rely-guarantee Conference paper
Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
Authors:  Wu X.;  Xu Q.;  Zhu H.
Favorite  |  View/Download:0/0  |  Submit date:2019/04/04
Towards a modeling language for cyber-physical systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Shanghai, China, 9 1, 2013 - 9 3, 2013
Authors:  Zhu, Longfei;  Zhao, Yongxin;  Zhu, Huibiao;  Xu, Qiwen
Favorite  |  View/Download:2/0  |  Submit date:2018/11/06
rCOS: A formal model-driven engineering method for component-based software Journal article
Frontiers of Computer Science in China, 2012,Volume: 6,Issue: 1,Page: 17-39
Authors:  Ke W.;  Li X.;  Liu Z.;  Stolz V.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Component-based Design  Model Transformations  Models  Tool Support  Verification  
Analyzing and verifying Petri net model of security protocol based on Maria Conference paper
ICCASM 2010 - 2010 International Conference on Computer Application and System Modeling, Proceedings
Authors:  Wang Y.;  Zhou J.;  Li H.;  Hao Y.
Favorite  |  View/Download:0/0  |  Submit date:2018/12/22
Analysis and verification  Maria  Petri net  Security protocol  
Basic research in computer science and software engineering at SKLCS Journal article
Frontiers of Computer Science in China, 2008,Volume: 2,Issue: 1,Page: 1-11
Authors:  Zhang J.;  Zhang W.;  Zhan N.;  Shen Y.;  Chen H.;  Zhang Y.;  Wang Y.;  Wu E.;  Wang H.;  Zhu X.
Favorite  |  View/Download:0/0  |  Submit date:2019/02/13
Automated reasoning  Computer graphics  Concurrency theory  Formal specification  Human-computer interaction  Middleware  Parallel algorithms  Real-time system  Software process  
Specification and Estimation of Inverse Demand Systems: A Distance Function Approach Journal article
AMERICAN JOURNAL OF AGRICULTURAL ECONOMICS, 2005,Volume: 87,Issue: 4,Page: 823-834
Authors:  Wong, KKG;  McLaren, KR
Favorite  |  View/Download:1/0  |  Submit date:2019/07/23
Nverse Demands  Distance Functions  Numerical Inversion Estimation  Separability  
Consistency checking of UML requirements Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Authors:  Li X.;  Liu Z.;  He J.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Consistency Checking  Formal requirement Specification  Requirement Analysis  UML  
Specification and estimation of regular inverse demand systems: A distance function approach Journal article
American Journal of Agricultural Economics, 2005,Volume: 87,Issue: 4,Page: 823
Authors:  Gary Wong K.K.;  Mclaren K.R.
Favorite  |  View/Download:0/0  |  Submit date:2018/10/30
Distance functions  Inverse demands  Numerical inversion estimation  Separability