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.
It is hard to choose one appropriate sparse reconstruction algorithm from multiple existing algorithms in different occasions. Being aware of this difficulty, four typical sparse reconstruction algorithms are studied to present comprehensive performance evaluations in terms of reconstruction accuracy, super-resolution ability and noise immunity, and it is found that the BCS algorithm performs best...
The rapid development of web service technology brings up a number of crucial requirements for designing service computing runtime, such as supporting multiple message exchange patterns, switching among different transports, integrating various extended web service protocols and achieving robust performance under high concurrency. Based on staged event-driven architecture, we propose a novel architecture...
Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, assurance of high dependability of these software is a great challenge. Effective modeling of behavior and flexibly specifying requirements are the key issues...
It is very difficult to construct a correct BPEL engine, which is the runtime environment supporting the execution of BPEL processes. The main reason is the complexity of informal specification. It leads to that the programmers build the system without knowing precisely what they do. In this paper, we provide an operational semantics of BPEL based on Abstract BPEL Machine (ABM). ABM is a formal model...
Current BPEL engine products are difficult to meet the highly concurrent demands of increasing mission-critical business processes application. We follow the ideas of SEDA and propose a new architecture for high-concurrency BPEL engine, which we call SEDA4BPEL. In SEDA4BPEL, the implementation of BPEL related web services protocols is encapsulated into four primary event-driven stages, to provide...
Scientific workflow has become an important tool used by scientists to operate distributed resources in current scientific research. However, the gap between scientific domain and workflow specification has increased the difficulty of adopting scientific workflow. Further, the lack of collaborative mechanism has gradually become a major obstacle for scientists to share scientific workflow. In this...
In this paper, we present a formal description of Web services container architecture based on Z notation. This description major focuses on internal behavior of a Web services container on processing a Web services request. First, we present a formal model of tailored XML which provides a unified data structure for executing Web services specifications and data transformation. Then, we present a...
Service oriented system is very popular in both academic and industry. One reason is that a new complex application can be agilely implemented via the collaboration of the existent services. In the dynamic Web service environment, the Web service based applications often suffer from the leaving of component services dynamically, which will result in partial executed conversations, namely the inconsistency...
In this paper, we present a formal model of Web services transport layer based on CSP which addresses multiple transport, multiple Message Exchange Patterns (MEPs) and dynamic switching among multiple transport protocols. This approach abstracts message transferred over networks as transport object and splits message transportation process of a transport protocol into two CSP processes: a transport...
Due to unpredictable failures in the network or the components, tree-structure, one of the common structures of distributed system, is partial fault-tolerance. A simple but effective method to enhance the reliability of a tree is to maintain a neighbor set for each node in the tree. Obviously, a larger neighbor set results in a higher reliability, but also increases the maintenance cost. The contribution...
The collaboration of Web services is often required to realize larger and more complex distributed applications. One of the problems that should be dealt with in the service collaboration is unpredictable failures of individual service. We present in our previous work a structure-based service collaboration model, in which several basic structures are abstracted, including star-structure, ring-structure,...
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.