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.
With the development of Web Service composition, more and more diversified and complex business demands are satisfied. But the logical validity cannot be guaranteed. After a short view of recent research efforts of formal modeling and verification about Web Service, this paper proposes a new formal model for WS-BPEL described Web Service composition. The specification language of the model is LOTOS...
The performances of several closed-loop algorithms for the automated regulation of blood glucose in an intensive care unit are compared in simulation studies. A nonlinear compartmental model with 15 distinct sets of patient parameter values is used to mimic the difficulties faced by an ICU treating many patients with different insulin sensitivities. A major advantage to the classical PID strategy...
SIP flow management should respect the specific characteristics of SIP protocol applied in multimedia or telecom services for meeting stringent quality of service (QoS) requirement. The specific characteristics include explicit session structure for correlating a series of SIP messages, stringent response time required by real-time applications, extra overhead imposed by SIP message retransmission,...
Systematic software testing plays a critical role in software development. Various approaches have been proposed and developed, but software testing is still far from maturity. A very promising strategy is model-based testing that is aimed to automatically generate test cases and evaluate test results based on the software models that specify the behavior of the software under test. In this paper,...
With the development of Electronic commerce, more and more transactions on information goods or services have been or will be conducted through the Internet, which involve small value payment that called micro-payment. Therefore, micro-payment is one of the most popular research aspects with focus on the field of electronic payment. Many efficient micro-payment schemes were proposed based on PayWord...
With the increasing development of the Internet and electronic commerce, electronic payment systems have gradually become an important issue nowadays. Business-to-business e-commerce model involves a complex process with large transaction size, so that B2B payment is the next focus of the popular research topics on electronic commerce. Though there are many existing e-payment protocols designed for...
In this paper, we study how to build a front-end flow management system for SIP application servers. This is challenging because of some special characteristics of SIP and SIP applications. 1) SIP flows are well organized into sessions. The session structure should be respected when managing SIP flows. 2) SIP has been adopted by telecom industry, whose applications have more critical QoS requirements...
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.