Spatio-temporal prediction plays a critical role in smart city construction. Jointly modeling multiple spatio-temporal tasks can further promote an intelligent city life by integrating their inseparable relationship. ...
详细信息
For emerging vehicle ad hoc network, the security problem is the biggest problem facing at present. The network is vulnerable to hacking and attacks. Generally, to join a region of the vehicle Ad Hoc networks, a vehic...
详细信息
For emerging vehicle ad hoc network, the security problem is the biggest problem facing at present. The network is vulnerable to hacking and attacks. Generally, to join a region of the vehicle Ad Hoc networks, a vehicle node needs to be verified its identity by the roadside infrastructures first. This paper proposes an authentication mechanism based on threshold secret sharing mechanism without relying on the infrastructures. The proposed scheme conforms to the characteristics of the VANET, such as without the credible centre, self-organization and so on. The vehicle should be accepted by the other vehicles to communicate. The proposed authentication mechanism contains the generation of signing certificate, the update mechanism and the revocation mechanism. The availability and security of the network can be ensured in the scheme.
The rigorous theoretical analyses of algorithms for #SAT have been proposed in the literature. As we know, previous algorithms for solving #SAT have been analyzed only regarding the number of variables as the paramete...
详细信息
Most of real-life scheduling problems are semi on-line scheduling,where we do not know all the time variables of jobs in ***,solving such dynamic problems is a hot topic of research in Constraint *** this paper we ana...
详细信息
Most of real-life scheduling problems are semi on-line scheduling,where we do not know all the time variables of jobs in ***,solving such dynamic problems is a hot topic of research in Constraint *** this paper we analyze the constraints in the semi on-line scheduling problems and introduce the concept of monotonic about constraints which appear in general dynamic constraint *** designed a generic dynamic constraint solving algorithm for solving the scheduling *** give an example of its application to semi on-line discrete resource-constrained scheduling problem(ship-loading problem).
暂无评论