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.
This paper introduces a new open source static analysis tool, the Java Static Checker (JSC). Traditional static analysis tools examine Java code for fault instances considering specific code patterns. JSC is novel in that it examines Java code for potential fault classes based on propagating values and examining fault classes. In this paper, we use the tool to examine programs for potential null pointer...
This paper presents a simple but an effective approach to restore the coverage within a wireless sensor network (WSN) when sensors fail without adding new sensors. We have considered a sensor node failure due to electrical faults or malfunctions during the initial deployment. Each sensor has a limited energy supply, and the failure of a sensor results in extra overhead during restoration of the uncovered...
Understanding what drives members of online content-sharing communities to contribute is key to understanding why some communities flourish while others fizzle out. Both cognitive and social explanations have been proposed with varying degrees of support from data collected from existing online communities. However, because most studies to date have tended to focus only on a whole community, it is...
Exchangeable random partition processes provide a framework for statistical inference in large alphabet scenarios from a Bayesian perspective. On the other hand, the notion of the pattern of a sequence provides a framework for data compression in large alphabet scenarios. Owing to the relationship between data compression and parameter estimation, both these approaches are related. Motivated by the...
Gaining an understanding of unfamiliar software systems is hard. Existing support tools are based on studies of the information sought by software developers, but often the developers themselves do not know what to look for. Here an alternative is proposed: by studying the information `pushed' from software experts to new developers during onboarding, the information provided by the experts can be...
An ability to account for positive and negative information in the representation of user preferences and intentions is an important facility that can enhance the functionality and usefulness of flexible database querying systems. This is in line with a growing interest in preference modeling. Bipolarity, as a formal representation of positive and negative information, is one of crucial factors in...
When physical layer network coding (PNC), in which electromagnetic (EM) waves are mixed before forwarding them, have show that it can significantly improve the throughput of system, there are some special security problems at this same time. This paper contributes this following: Firstly, based on analyzing how physical layer network coding to run, some security problems, such as destroying requirement,...
Constrained multi-objective differential evolution (CMODE) is a population-based stochastic search technique for solving constrained multi-objective optimization problems. Although CMODE is a powerful and efficient search algorithm, it frequently suffers from pre-mature convergence, especially when there are numerous local Pareto optimal solutions. In this paper, a diversity enhanced constrained multi-objective...
Service-Oriented Architectures address the development of distributed and dynamic service-based applications. Due to the dynamics of their environments, services should be self-adaptable in order to maintain agreed resource-level qualities. To support building such services, this work proposes the Self-Adaptable Service Execution Manager (SASEM), responsible for monitoring and controlling the service...
The following topics are dealt with: job satisfaction, image compression; synergy banking operation; automobile manufacturing enterprise reverse logistics; e-learning; supply chain; government innovation; knowledge management; Web-based small and medium enterprises; China mobile communication corporation; automated warehouse; Web service; text mining; and greenhouse gas emission.
The following topics are dealt with: software asset repository open framework; support vector machine; visual business processes; Web-based learning; computer course; agent-oriented software engineering; mobile computing; object-oriented software system; e-commerce; particle swarm optimization; genetic algorithm; coal enterprises electromechanical equipment; Web service; and e-government.
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.