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.
Feasibility determination in a stochastic setting is to determine for each alternative design whether its performance, which can only be estimated through simulation, exceeds a known threshold. Several intelligent simulation budget allocation methods have been developed to enhance the simulation efficiency of feasibility determination. To further improve the simulation efficiency, we develop a new...
The work flow of surgical operations in emergency department and operating rooms can be interrupted due to various disruptions. Reducing such disruptions is of significant importance to ensure successful operations. In this paper, we introduce a continuous-time Markov chain model to analyze the disruptions and their impacts. Analytical formulas have been derived to evaluate the probabilities of normal...
In this paper, the Security Petri Net model is adopted to formally prove security protocol in the field of wireless sensor networks. As a result of this analysis, a man-in-the-middle-attack has been found and an improved version of the protocol is proposed. And the results show that the Security Petri Net model is a simple and efficient method to prove the security of of security protocol.
The work flow of surgical operations in emergency department can be interrupted due to various disruptions. Reducing such disruptions is of significant importance to ensure successful operations. In this paper, we introduce a continuous time Markov chain model to analyze the disruptions and their impacts. Analytical formulas have been derived to evaluate the probabilities of normal operations and...
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.