Some of the significant events organized at the 2nd International Conference on Bioinformatics and Biomedical engineering, held at the College of Life Science & Biotechnology of Shanghai Jiaotong University, Shang...
详细信息
Some of the significant events organized at the 2nd International Conference on Bioinformatics and Biomedical engineering, held at the College of Life Science & Biotechnology of Shanghai Jiaotong University, Shanghai, China from 17-18 May, 2008. The conference has been technically sponsored by the engineering in Medicine and Biology Society (EMBS) of the Institute of Electrical and Electronics Engineers (IEEE). The 2008 conference consisted of 11 keynote speeches, 18 oral sessions, and 18 poster sessions. More than 900 professionals from around the world participated in the event and exchanged information about new discoveries in related research fields. The conference proceedings have been published by IEEE and all accepted papers are archived in IEEE Xplore database.
ter multiple-objective optimized decision about the East Lake in Wuhan,combining of expert system' s identification and adjustment,we get weights of F1(tourism function),F2(flood storage function),F3(water sup...
详细信息
ter multiple-objective optimized decision about the East Lake in Wuhan,combining of expert system' s identification and adjustment,we get weights of F1(tourism function),F2(flood storage function),F3(water supply function),F4(aquaculture function),F5(water sports function),F6(vocation land and sanitaria function) and F7(lake shore garden function),each of which is:0.5,0.1,0.05,0.05,0.05,0.05,0.2.F1 will become more and more outstanding and become the most important function in comprehensive utilization of the East *** the improvement of urban basic facilities,ability of pumping stations will be improved,and F2 could be maintained.F7 will be developed in adjustment.
Structural conflict is one of the key issues in the development of the Aspect-Oriented software. We propose a framework based on the conceptual model and the reflection mechanism to solve the structural conflict. It a...
详细信息
Citation graph analysis has been used to evaluate the significance of documents and authors, or to estimate the impact of publication venues. In this paper, we investigate its new application in topic identification. ...
This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution lan...
详细信息
This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution language （BPEL） is modified in company with the analysis of data dependency and an exact representation of dead path elimination （DPE） is proposed, which over-comes the difficulties brought to dataflow analysis. Then defining and using information based on data flow rules is collected by parsing BPEL and Web services description language （WSDL） documents and the def-use annotated control flow graph is created. Based on this model, data-flow anomalies which indicate potential errors can be discovered by traversing the paths of graph, and all-du-paths used in dynamic data flow testing for Web services composition are automatically generated, then testers can design the test cases according to the collected constraints for each path selected.
Classical logic cannot be used to effectively reason about concurrent systems with inconsistencies (inconsistencies often occur, especially in the early stage of the development, when large and complex concurrent syst...
详细信息
Classical logic cannot be used to effectively reason about concurrent systems with inconsistencies (inconsistencies often occur, especially in the early stage of the development, when large and complex concurrent systems are developed). In this paper, we propose the use of a guasi-classical temporal logic (QCTL) for supporting the verification of temporal properties of such systems even where the consistent model is not available. Our models are paraKripke structures (extended standard Kripke structures), in which both a formula and its negation are satisfied in a same state, and properties to be verified are expressed by QCTL with paraKripke structures semantics. We introduce a novel notion of paraKripke models, which grasps the paraconsistent character of the entailment relation of QCTL. Furthermore, we explore the methodology of model checking over QCTL, and describe the detailed algorithm of implementing QCTL model checker. In the sequel, a simple example is presented, showing how to exploit the proposed model checking technique to verify the temporal properties of inconsistent concurrent systems.
Opportunistic Spectrum Access (OSA) allows unlicensed users to share licensed spectrum in space and time with no or little interference to primary users, which bring new research challenges in MAC design. In this pape...
详细信息
Topology model is regarded as the key factor of quality in a multicast system. High quality of a multicast system can be defined to high efficiency, robustness and scalability. Self-Similar Structured Multicast (S3M) ...
详细信息
Traditional approach of design by contract, due to mixing the contract code with application code, is difficult for the extensibility and reusability of software system. This paper presents a framework named JADBC for...
详细信息
Traditional approach of design by contract, due to mixing the contract code with application code, is difficult for the extensibility and reusability of software system. This paper presents a framework named JADBC for design by contract based on Aspect-Oriented Programming （AOP） to resolve these problems. By providing a new modularized element, aspect, the framework successfully separates the contracts in design by contract, from functional codes. The implementation of this framework is based on dynamic AOP which can have the contract changed at rtmtime, consequently, enhancing program flexibility. JADBC framework modularizes the contracts in a clear-cut fashion that is easier to design, implement, and maintain.
暂无评论