The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Asynchronous multi-agent systems (AMAS) are multi-agent systems with asynchronous updates and communications. They are often designed from the point of view of local computations and the interactions of autonomous agents. However, often some functionality of the system is proposed from the global point of view. It is not always possible to verify such global functionality under total, random, asynchrony...
Competitions of shared web resources have been widely concerned today. Under the circumstances of networks, especially in distributed systems, central supervisor can hardly be implemented, which makes it more complicated to prevent deadlock problems. This paper describes the competitions of web services for shared web resources using CSP method. Deadlocks can be analyzed based on the formal model...
In this paper, we study the synchronization problem for a wide class of weighted complex dynamical networks with nonlinear perturbations. We provide some conditions that ensure the robust (exponential) synchronization of weighted complex dynamical networks. Particularly, the main synchronization results in [1]-[3] can be recovered by our results. Numerical simulations are given to demonstrate our...
Kerberos protocol is one of the popular security protocols used to authenticate the identities of the communication participants. The key distribution mechanism in this protocol is suitable for other secure applications. We formalize the protocol using CSP methods. Based on the formal model, the mechanism of the protocol is exposed to us clearly. Principles and tools support the verification of the...
Based on the tracking control of chaotic system, the synchronization of hyperchaos in three-cell coupled quantum cellular neural network is studied; a secure communication system based on the hyperchaotic synchronization of the quantum cellular neural network is presented; its performance in the presence of channel noise is analyzed. Numerical simulations are given to illustrate the effectiveness...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.