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.
The financial and insurance sector is characterized by business processes that are largely automated, but are also intermittently interrupted in some places by a required manual employee interaction. This provokes a certain complexity in handling those automated processes. Compared to other sectors, the financial and insurance sector has recognized the potential of IT-solutions for the automation...
In this paper, we consider the energy-efficient coordination of a set of appliances in a smart-building. We introduce a theoretical formulation of the coordination problem and an Integer Linear Programming model for its resolution. Our formalization is complemented by an analysis of the properties and limits of the model. We also define a practical smart-building setting in which our formalization...
Provides an abstract for each of the keynote presentations and may include a brief professional biography of each presenter. The complete presentations were not made available for publication as part of the conference proceedings.
Verification is a costly task, sometimes burdensome and tedious, requiring strong formal background. To reduce the effort and cost invested in verification, we developed a modeldriven approach for automatic verification of service properties, done in the early service design phase. Our approach is based on SEAM, a service modeling method, and it incorporates a verification system called Leon. With...
Based on the analysis of the construction process of collaborative development capability federation for ordnance equipment, the matching model and process of capability requirement and capability are constructed, and a capability matching algorithm is proposed. The matching algorithm includes three matching stages: the preliminary matching stage that matches the capability category and state; the...
Consumer reviews play an important role in various e-commerce sites like hotel reservation and app stores. Online consumer reviews are informative because they convey consumers' actual experiences and evaluations to the products and services they received. In this paper, we leverage the consumer reviews to develop a review-driven recommender service for e-commerce websites. We semantically explore...
With increasing evidence on the breadth and potency of side-channel attacks based on resource sharing, virtual machine (VM) placement in infrastructure cloud services, such as Amazon EC2, has become an important security problem. In this paper, we present a new approach to this problem by letting users specify their own trust profiles, and then incorporating such information into VM placement decisions...
Industrie 4.0 aims at flexible production networks that require horizontal integration across companies. Evidently, any production related information exchanged in the network must be vertically forwarded to the corresponding service endpoints of the local production system. Accordingly, there is a need to align information that flows between companies and within each company. The Resource-Event-Agent...
Existing Web API search engines allow for only category-based browsing and keyword or tag-based searches for RESTful services without offering the capability of discovering and composing real-world RESTful services from the viewpoint of application developers. Therefore, we propose a novel approach, referred to as TAD (Transformation-Annotation-Discovery), to address the above issue. TAD firstly transforms...
Presents the introductory welcome message from the conference proceedings. May include the conference officers' congratulations to all involved with the conference event and publication of the proceedings record.
Under cloud environment, cloud service providers need to predict non-stationary workloads, and base prediction results to plan and execute fault-tolerance strategies in advance so as to ensure services' ability in fault-tolerance. High prediction precisions in services' workloads improve effectiveness of strategies such that service's fault-tolerance is advanced. In this paper, we propose a hybrid...
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.