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.
Bisimulation is one of the fundamental concepts of the theory of coalgebras. However, it is difficult to verify whether a relation is a bisimulation. Although some categorical bisimulation proof methods for coalgebras have been proposed, they are not based on specification languages of coalgebras so that they are difficult to be used in practice. In this paper, a specification language based on paths...
Visfatin is identified a pro-inflammatory cytokine and its serum level is increased in various cancers. This study aimed to evaluate the prognostic value of preoperative serum visfatin level in breast cancers. Preoperative serum visfatin levels of 248 patients with breast cancer and serum visfatin levels of 100 healthy individuals and 100 benign women controls were determined using enzyme-linked immunosorbent...
Four chiral Schiff bases were synthesized conveniently from chiral amino alcohol and 2-hydroxynaphthalene-1-carbaldehyde. These ligands were used to catalyze the addition of nitroalkanes to aldehydes under ambient conditions in good yields with up to 91% ee.
With the increasing number of functionally similar services deployed over the Internet, QoS (Quality of Service) plays a more and more important role on deciding which component services should be selected to satisfy the quality requirements for a composite service. Although there exist some service composition approaches to select component services with regard to global QoS constraints, none of...
In this paper, after analyzing the requirement of aspect-oriented modeling, a meta-model based on UML extension profile for AOM is proposed, a framework of aspect-oriented modeling (AOMF) with UML is built, and a simple and feasible way to model the dynamic behaviors of aspect-oriented software is presented. Furthermore, a case study is presented to demonstrate the effectiveness and advantages of...
Algorithm animation plays an important role in the education of computing and the development of algorithms. But the lack of explicit modeling of visualization specifications makes it difficult to reuse the algorithm implementations and the specifications. A context-aware algorithm animation framework named CA3F is proposed in this paper to solve the problem. In the CA3F framework, the algorithm execution...
Quality of service (QoS) plays an important role in the composition of services. A colored Petri net (CPN) based approach is proposed to model and analyze QoS-driven service composition in a service-oriented architecture (SOA), where all services are considered as dynamic joining and quitting resources. Modeling with an extension of the hierarchical CPN, which is named QSC-net, the QoS-driven features...
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.