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.
Installation of smart meters is increasing world-wide, opening the possibility to implement time-of-use (TOU) tariffs to moderate peak loads. This study is focused on the design of an optimal opt-in residential TOU tariff. Residential consumers are assumed to act in their private interests and maximize utility in response to tariffs. The regulated utility has a broader interest in maximizing societal...
In a large-scale construction project, the project manager needs to allocate many resources, including numerous workers, various kinds of materials, and a lot of cash. Therefore how to allocate resources and to control cash flow ahead of time is particularly important. The general contract and material price fluctuation make the project manager to take great risk. In this paper, we establish a two-stage...
This paper presents a formal model for specification, verification, and composition of component-based embedded software. We describe how components are specified from the syntactical view, functional view, QoS view and synchronization view. The refinement rules for functionality, QoS, and synchronous behavior are defined for the verification purpose. And a lightweight composition method is provided...
Service component architecture (SCA) is a new promising programming model for constructing service-oriented application, which facilitates the development of business integration in SOA. However, there still lacks the unified theory foundations for the service component assembly based on SCA in a rigorous way. Firstly, a metamodel of the contract-based SCA is proposed by applying the idea of design...
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.