Zobrazeno 1 - 9 of 9 pro vyhledávání: '"Zi Ning Cao"'
3
Process Calculus with Data Structure and its Model Checking Algorithm
Autor: Qing Zheng, Zi-Ning Cao
Publikováno v: Physics Procedia. 33:782-789
Model checking is one of the most important technology for automatically verification. So this paper generally proposed a method of combining CCS and Z language, to perform model checking. It combines the advantage of current CCS and Z systems, where
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::901fbe9300829f85c95c070563e4d024
https://doi.org/10.1016/j.phpro.2012.05.135
Zobrazit plný text záznamu
5
Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS
Autor: Zi-Ning Cao, Min Yuan, Fangxiong Xiao, Zhiqiu Huang, Linyuan Liu, Jun Hu
Publikováno v: International Journal of Web Services Research. 8:47-80
Unified modelling and analyzing functional and non-functional aspects of Web services composition reduces the gap caused by modelling them in different models respectively, increases development speed, and reduces development cost. Though existing pr
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::19adfa6632c0bc8ade8053d84a48093d
https://doi.org/10.4018/jwsr.2011100103
Zobrazit plný text záznamu
7
Model checking real-time value-passing systems
Autor: Zi-Ning Cao, Jing Chen
Publikováno v: Journal of Computer Science and Technology. 19:459-471
In this paper, to model check real-time value-passing systems, a formal language Timed Symbolic Transition Graph and a logic system named Timed Predicate µ-Calculus are proposed. An algorithm is presented which is local in that it generates and inve
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::89490770763f493e47b754a37a2dfdac
https://doi.org/10.1007/bf02944747
Zobrazit plný text záznamu
8
Probabilistic belief logic and its probabilistic Aumann semantics
Autor: Chun Yi Shi, Zi Ning Cao
Publikováno v: Journal of Computer Science and Technology. 18:571-579
In this paper, we present a logic system for probabilistic belief named PBL, which expands the language of belief logic by introducing probabilistic belief. Furthermore, we give the probabilistic Aumann semantics of PBL. We also list some valid prope
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::11a8fe6bc3f5b845db576104aafed7e6
https://doi.org/10.1007/bf02947116
Zobrazit plný text záznamu
9
Akademický článek
Model Checking Real-Time Value-Passing Systems.
Autor: Jing Chen, Zi-Ning Cao
Publikováno v: Journal of Computer Science & Technology (10009000); July 2004, Vol. 19 Issue 4, p459-471, 13p, 9 Diagrams
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje