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.
While model checking is a powerful technique to analyze the properties of a model, it can be very expensive or even impossible, if the model comprises many states that have to be explored. Simulation-based model checking is an alternative, where the properties defined in temporal logics are not checked on the model itself but on traces produced during model execution. However, for stochastic models...
In view of the shortage of numerical control(NC) teaching resources and some problems such as high cost and high risk of equipment in current NC training area, with the rapid development of virtual reality, computer network and human-computer interaction technology, a feasible programme of virtual NC simulation system based on browser/server(B/S) was brought forward. Firstly, the development platforms...
A simple and yet effective denial of service (DoS) attack on voice over IP (VoIP) proxies that based on session initiation protocol (SIP), is to flood the server with requests that their addresses do not exist and are irresolvable. Different security schemes and possible attacks have studied from the qualitative view on the most of network security researches and these researches are less considered...
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.