Zhiguo Pang

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Xueting Peng1
Wei Wang1
1Xueting Peng
1Wei Wang
Learn More
The Mekong River is the most important river in Southeast Asia. It has increasingly suffered from water-related problems due to economic development, population growth and climate change in the surrounding areas. In this study, we built a distributed Geomorphology-Based Hydrological Model (GBHM) of the Mekong River using remote sensing data and other(More)
Specification and verification of access control (AC) policies is a significant and challenging problem. Colored Petri Net (CPN) is a powerful modeling and analyzing tool having the advantages of intuitive visual framework with the rigor and precision of a semantics founded on category theory. In this paper, a concrete specification of SA-RBAC policy on CPN(More)
  • 1