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.
The coming standard for C++ will contain language extensions. It can be expected that there will be some years between the release of the new standard and the time when most compilers will be compliant, like it happened for the 1998 standard. Concepts are an extension proposed for the new standard. We show how we can translate ConceptC++ code into pure C++03 using the C++ template mechanism. Such...
Due to the large number of possible variants in typical software product lines (SPLs), the modeling of, explicit knowledge of, and predictability of the quality tradeoffs inherent in certain feature selections are critical to the future viability of SPLs. This paper presents IQ-SPLE, an integrated tool supported approach that considers both qualitative and quantitative quality attributes without imposing...
Test applications often require the integration of many different software technologies. This paper provides an overview of how several Windows-based technologies can be incorporated into a single application by employing a common software framework and architecture.
Security requirements analysis is gaining growing attention as new vulnerabilities and threats are emerging on daily basis, the systematic evaluation of security requirements is of utmost importance among the various decisions to be made related to security. This short contribution proposes using a 3-dimensional vector for quantitative evaluation of security requirements, which takes into account...
Synchronization between component requirements and implementation centric tests remains a challenge that is usually addressed by requirements reviews with testers and traceability policies. The claim of this work is that linking requirements, their scenario-based formalizations, and software verification provides a promising extension to this approach. Formalized scenarios, for example in the form...
All chemistry software has its own language and provides its corresponding script editor. A complex chemical job running in Grid environment often requires different chemistry software's collaboration. The chemist edits computational chemistry program locally, then submits them to the Grid environment. Therefore, chemists need to use appropriate chemical editors for syntax checking when modifying...
Ontology is an explicit specification of a conceptualization. With the development of semantic Web, there are more and more ontologies. How to achieve the reusing and sharing of knowledge between ontologies has become the key to the development of semantic Web. Based on the analysis of the current technologies, a computation method of parsing the feature of concept in the ontologies and making use...
This paper presents a new fuzzy multi-criteria decision making (FMCDM) approach, which integrates the technique for order preference by the similarity to ideal solution (TOPSIS), grey relation and fuzzy set theory, for enterprise resource planning (ERP) system evaluation and selection in the small and medium-sized enterprises (SMEs). In this study, the characteristic of the alternative with respect...
In this paper, we investigate the barcode OSS using two of Weiser's original slice-based metrics (tightness and overlap) as a basis, complemented with fault data extracted from multiple versions of the same system. We compared the values of the metrics in functions with at least one reported fault with fault-free modules to determine a) whether significant differences in the two metrics would be observed...
Consistency of component software is a crucial condition required for correct program execution. The existing consistency controls of OSGi at build time or in runtime cannot prevent type mismatch failures caused by independent client and server bundle development. This paper describes our solution to this problem using automated versioning of components. Version identifiers are generated from results...
The paper applies the newly proposed weighted argument systems (WAS) and the associated notion of inconsistency budget. Fuzzy theory and ontological knowledge are used to supply WAS with the required weights, whilst the weighted argument systems provide a beautiful and simple principle to decide which fuzzy logic to use for reasoning, given an argumentation set.
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections for a component system that is suitable for embedded systems. This component system adopts a static model that statically instantiates and connects components. The attributes of the components and the interface code for...
This paper introduces the current primary functionalities, characteristics and usages of Unified Minority Speech Parameter Database Platform Software as well as future-expanded functions. By using the platform, we can accomplish acoustic parameter retrieval, statistics and analysis of established Tibetan, Uigur and Yi broadcasting acoustic parameter databases. After adding acoustic parameters of more...
Formal specifications of software components are critical to software development. Several types of formal or semi-formal methods are commonly used for software specification, such as specification languages, graphic diagrams, algebraic descriptions, and stream functions. Each of these methods addresses the specification problem from a different view point and has its own strengthens and weaknesses...
The extensive dynamic capabilities of the browser allow for platforms of infinite extensibility and omni-functional power to be delivered via the Internet. This paper considers the possibilities of converting Web pages into an intelligent immersive omni-functional platform with special focus on calculations. Such standards-compliant documents with omni-functionalities (enhanced by calculations, but...
Refactoring is a commonly accepted technique to improve the structure of object oriented software. The paper presents a multi-objective approach to the Entity Refactoring Set Selection Problem (ERSSP) by treating the cost constraint as an objective and combining it with the effect objective. The results of the proposed weighted objective genetic algorithm on a experimental didactic case study are...
Gathering and understanding what the user need is one of the most important things in the service creation lifecycle. We firstly discuss the difference between the service requirements and the traditional software requirement. Then we propose the service requirement refinement method by decompose the goal of the users. Once the sub-goals are defined, they can be mapping directly into related service...
Understanding a system from architecture view is very important for varieties of reasons. After frequent modifications, the system documents become outdated since they are inconsistent with the behaviors of the system. Currently, many component identification processes have been provided - clustering analysis, matrix analysis, graph-based decomposing methods, etc. - to understand the system design...
An intelligent network self-healing solution with regard to the current problem existing in the dedicated network was proposed in this paper. The solution can implement the self-healing by introducing intelligent network self-healing devices which were developed and produced on our own between outside and inside networks, without changing of the current network structure. The devices enable the 1+1...
Many applications in the field of scientific computing - such as computational biology, computational linguistics, and others - depend on Machine Learning algorithms to provide important core functionality to support solutions in the particular problem domains. However, it is difficult to test such applications because often there is no "test oracle" to indicate what the correct output should...
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.