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.
Functional Reactive Programming (FRP) is a declarative approach for modeling and building reactive systems. The FRP has been shown to be an expressive formalism for building graphics, robotic, and vision applications. The Priority-based FRP (P-FRP) is a formalism of FRP that allows preemption of execution and guarantees real-time response. Since functional programs cannot maintain state and mutable...
In real-time embedded applications, interrupt-driven systems are widely adopted due to strict timing requirements. However, development of interrupt-driven systems is time-consuming and error-prone. To conveniently ensure a trustworthy system design and implementation is a challenging problem, especially in complex applications. In this paper, we present a novel domain-specific language called iDola...
This paper mainly discusses the study of models for financial distress pre-warning, trying to select general financial indexes by principal component analysis, and meanwhile adding nonfinancial indexes which reflect corporate governance state to complement. Logit Model which is more accurate in prediction is selected, with the 56 company samples including both delisting pre-warned companies and counterparts...
Real-world network and components exhibit continuous change of performance, it can not be described accurately by currently extensively used binary state and multi-state models. This paper presents a network reliability model of continuum-state, estimating the network reliability with network performance and demand lack. The link performance is defined as its influence of the total length of the shortest...
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.