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.
Syslogs on switches are a rich source of information for both post-mortem diagnosis and proactive prediction of switch failures in a datacenter network. However, such information can be effectively extracted only through proper processing of syslogs, e.g., using suitable machine learning techniques. A common approach to syslog processing is to extract (i.e., build) templates from historical syslog...
Dynamic symbolic execution is an important automated testing technique. Firstly, we introduce the traditional symbolic execution and dynamic symbolic execution technology, and then review the research status of Python application testing with dynamic symbolic execution technology. Then we compare and analyze the dynamic symbolic execution tools with the existing Python programs and Architectures,...
In order to promote parallel computing in multi-cores, transactional memory is studied. Several transactional memory systems are introduced in this paper. to compare the performance of STM library implementations with different types of write acquisition and write versioning, RSTM and genome application is used in this paper. by analyzing the results of genome application tested on these STM library...
This paper proposes a software-hardware combined efficient text classification method, which uses Xilinx IP core CAM to achieve high-speed for searching terms, utilizes features of CAM designed an efficient algorithm that merger a two-step of term extraction for text which should be classified and eliminate redundant terms into one-step. This method can effectively solve the slow speed problem which...
Mobile application services are growing sharply in China at present. However there is a great lack of human resources in this domain. Therefore, it is of great significance to cultivate people who are good at mobile application service development for social needs. The requirements for human resources in the mobile application services is overlapping, diverse, and practical, thus its curriculum includes...
Selective regression testing involves retesting of software systems with a subset of the test suites to verify that modifications have not adversely impacted existing functions. Although this problem has been heavily researched, it has never been discussed in the context of SaaS (Software as a service). This paper presents the specific requirements, challenges and benefits in delivering regression...
Multi-tenant SaaS software as one of the application pattern in Cloud Computing delivers software thourgh Web to the users by rhe service manner. So, it can reduce the cost of users, and reduce the cost of the maintainess and management by providers. The first problem that must be considered is how to provide the most appropriate tenant to the user according to the business request from the user in...
Most of the existing Chinese chess programs improved only through optimizing the data structure and improving the search strategy. Game-tree search is one of the key technologies in Chinese Chess computer programs and the required memory storage is huge. Therefore, a new method is introduced. In each match, the movement of the opponent and the position value are stored in database. Then it can avoid...
A direct prediction method based on empirical mode decomposition and echo state network is proposed to predict coke oven gas generation and consumption of the steel industry. First, the empirical mode decomposition is used to de-noise the practical data with high noise level. Then the direct relationship between the prediction origin and prediction horizon using echo state network is established without...
The execution process is critical to the success of a software outsourcing service. It defines the major roles and activities involved in delivering the outsourced software. This paper presents a process-oriented software outsourcing decision approach, which helps a client selecting appropriate vendors and defining the execution process that both the client and the vendors should comply with during...
Software outsourcing has become a common method used in many IT companies to reduce development cost, increase development efficiency and concentrate limited resource on mainstream business and technology. One of the important software engineering problems under this background is how to form an outsourcing software development process, which sum up all the people, artifacts, methods, working flows...
In the SaaS application, users can order corresponding software services from the service provider according to their application needs and adjust their services content in use based on the changes of the enterprise development, with strong elasticity and expansibility. However, despite of so advanced concept of SaaS, there are still some problems in the SaaS field constraining the wider use of SaaS...
SaaS is a new delivery model for the software development and application. Providers tend to make their SaaS products achieve higher level of maturity, serves more people, satisfy more different individual requirements, while maintaining efficiency and flexibility. This paper introduces a new SaaS application model called SaaS with tenancy agency. It adds two new layers: tenancy process layer and...
Software Trustworthiness is a hotspot problem in software engineering, and Software Trustworthy Attribute is the base of Software Trustworthiness. Software defect is the basic reason that influences Software Trustworthiness. Therefore, in this thesis we will attempt to utilize text classification technology to classify the historical software detects according to Software Trustworthy Attributes, in...
SaaS (software as a service), the new software application pattern has got wide attraction in both industry and academia. But transaction processing is a problem that prevents SaaS from wide spreading. To solve the problem, this paper proposes A business level compensation mechanism for multitenancy SaaS application transaction processing. The mechanism supports flexible and customizable transaction...
SaaS (Software as a Service), the new software application pattern has got wide attraction in both industry and academia. Multi-tenancy supporting is a big advantage of SaaS. However, current SaaS models and design/execution approaches cannot efficiently support simultaneous invocation by large amount of users of different tenants. To solve the problem, this paper proposes a new SaaS service execution...
SaaS and multi-tenancy has become a trend which gets more and more popularity. On this basis, how to monitor the information of SaaS service process and the instance information of every service of the interaction is an important problem. Based on the model of interaction-oriented SaaS application support for multi-tenancy, this paper proposes a mechanism for tracking the business instance of SaaS...
Discussed in this paper are the issues underlying the mechanical design of 7-DOF manipulator. A comprehensive solution for the structural type selecting, and the detail design of the links, the joints and the parts is introduced. First the design requirements including the workspace, manipulability, loading capacity, weight, precision, motor power etc are studied. After the preliminary design and...
Pattern-based composition is rather complex and need formal treatments. This paper demonstrates an approach based on logic programming language Golog, whose logical foundations roots in the situation calculus. The first step is formalizing design patterns by a set of fluents, actions and corresponding axioms in the situation calculus. Based on the formal specification of the underlying patterns, we...
Automated negotiation has become the core of the intelligent e-commerce. Traditional research in automated negotiation is focused on theory about negotiation protocol and strategy. However, the application of automated negotiation system has lagged far behind. This paper discusses the reason for such a situation, and proposes a technology roadmap for the development of automated negotiation system...
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.