13 citations · 34 across the 8 of their papers we have counts for
8 papers
Variable Petri Nets for Mobility
Zhijun Ding, Ru Yang, Puwen Cui +2
Mobile computing systems, service-based systems and some other systems with mobile interacting components have recently received much attention. However, because of their character…
Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets
Ru Yang, Zhijun Ding, Changjun Jiang +1
Due to the mobility and frequent disconnections, the correctness of mobile interaction systems, such as mobile robot systems and mobile payment systems, are often difficult to anal…
STC: Coarse-Grained Vehicular Data Based Travel Speed Sensing by Leveraging Spatial-Temporal Correlation
Lu Shao, Cheng Wang, Changjun Jiang
As an important information for traffic condition evaluation, trip planning, transportation management, etc., average travel speed for a road means the average speed of vehicles tr…
General Capacity for Deterministic Dissemination in Wireless Ad Hoc Networks
Cheng Wang, Jieren Zhou, Tianci Liu +4
In this paper, we study capacity scaling laws of the deterministic dissemination (DD) in random wireless networks under the generalized physical model (GphyM). This is truly not a…
Rule Optimization for Real-Time Query Service in Software-Defined Internet of Vehicles
Xin Wang, Cheng Wang, Changjun Jiang +3
Internet of Vehicles (IoV) has recently gained considerable attentions from both industry and research communities since the development of communication technology and smart city.…
Privately Information Sharing with Delusive Paths for Data Forwarding in Vehicular Networks
Zhong Li, Cheng Wang, Lu Shao +1
We discuss how to efficiently forward data in vehicular networks. Existing solutions do not make full use of trajectory planning of nearby vehicles, or social attributes. The devel…