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.
Services discovery becomes a key to accelerating the evolution of Web services as the number of services is expected to increase dramatically. In this paper, we introduce two types of dependency between interfaces in a service to our service matchmaking strategy. Depending on Assignment defines the dependency between the input and output interfaces of an operation, while Dependency on Sequence defines...
The paper focuses on reasoning about service matchmaking automatically by the relevant rules. It proposes a formal way to describe elements of Web services in WSDL document using Martin-Lof's type theory and gives some rules of service matchmaking. Based on the formal representation, we first regard the progress of services matchmaking as the proof of a proposition, and then prove whether two services...
Electronic control units (ECUs) are widely used to improve the comfort and reliability of vehicles. Due to the increasing degree of distribution and interaction of ECUs, many approaches are adopted to design the in-vehicle networks to ensure the stability and reliability of the holistic network, but none of them support the synchronous development of in-vehicle networks and software in ECUs. This...
A Web service is a basic software component that can be accessed by standard Internet protocols. It provides a new approach to cooperative and federated computing among different organizational units. There are many specifications which can describe the elements of Web services and make the end-users interact with each other. However, they are remaining at the descriptive level, without supporting...
Generating multi-threading implementation of embedded software from design models, i.e. implementation synthesis, is a critical stage during embedded software development, where many nonfunctional requirements are implemented and optimized. Currently, almost all research work on implementation synthesis of embedded software assumes that the underlying operating systems use the priority-based fully...
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.