The technical literature regarding model-based testing (MBT) has several techniques with different characteristics and goals available to be applied in software projects. Besides the lack of information regarding thes...
详细信息
The technical literature regarding model-based testing (MBT) has several techniques with different characteristics and goals available to be applied in software projects. Besides the lack of information regarding these techniques, they could be applied together in a software project aiming at improving the testing coverage. However, this decision needs to be carefully analyzed to avoid loss of resources in a software project. Based on this scenario, this paper proposes an approach with the purpose of supporting the unique or combined selection of MBT techniques for a given software project considering two aspects: the adequacy level between MBT techniques and the software project characteristics and impact of more than one MBT technique in some testing process variables. At the end, preliminary results of an experimental evaluation are presented.
Real time performance of non-interactive rendering of three-dimensional scenes is usually unachievable. Ray tracing is one of the methods used for rendering such scenes. The performance achieved by a sequential softwa...
详细信息
Man as a social being, as a being in social relations, is in constant motion. Such mobility affects the social networks that Man builds throughout one's existence. Networks that can consist of dozens, hundreds or ...
详细信息
ISBN:
(纸本)9781424435340
Man as a social being, as a being in social relations, is in constant motion. Such mobility affects the social networks that Man builds throughout one's existence. Networks that can consist of dozens, hundreds or even thousands of other people, with various degrees of mobility. During the formation of such networks, problems can arise, such as elements that concentrate many relationships, very isolated individuals or peripheral members of a network, people who are the only link between two distinct groups, agglomerations of people in isolated points. This can cause a series of losses to the most important element that flows through social networks: knowledge. In scientific social networks, this assertion takes even more importance, mainly on account of the mobility of researchers and the excess of knowledge circulating in it, making it more vulnerable to the movements of Man. It is with the intent of solving this problem that our work seeks to achieve success, as it analyzes the scientific social networks based on the GCC tool detects the problems related to them, and suggests recommendations of relationships to users considered harmful to the flow of knowledge in the network. We call this process of social network balancing. For the evaluation of this work we conducted a comparison with several similar proposals, and developed a working prototype, which in turn was used to make our case studies.
Sources of alternative, clean and smart energies are a demand on our modern world. And as a design project, collaboration and knowledge management are elements that improve the work on multidisciplinary teams. This wo...
详细信息
ISBN:
(纸本)9781424435340
Sources of alternative, clean and smart energies are a demand on our modern world. And as a design project, collaboration and knowledge management are elements that improve the work on multidisciplinary teams. This work describes a collaborative project to construct a Brazilian solid oxide fuel cell, its problems and the solution created to enable a collaborative work on a national context.
In this paper we present the architecture for the Personal Autonomic Desktop Manager, a self managing application designed to act on behalf of the user in several aspects: protection, healing, optimization and configu...
详细信息
ISBN:
(纸本)9780769531403
In this paper we present the architecture for the Personal Autonomic Desktop Manager, a self managing application designed to act on behalf of the user in several aspects: protection, healing, optimization and configuration. The overall goal of this research is to improve the correlation of the autonomic self* properties and doing so also enhance the overall self-management capacity of the desktop (autonomicity). We introduce the Circulatory Computing (CC) model, a self-managing system initiative based on the biological metaphor of the cardiovascular system, and use its concepts in the design and implementation of the architecture.
Naive Bayes for regression (NBR) uses the naive Bayes methodology to numeric prediction tasks. The main reason for its poor performance is the independence assumption. Although many recent researches try to improve th...
详细信息
Naive Bayes for regression (NBR) uses the naive Bayes methodology to numeric prediction tasks. The main reason for its poor performance is the independence assumption. Although many recent researches try to improve the performance of naive Bayes by relaxing the independence assumption, none of them can be directly applied to the regression framework. The objective of this work is to present a new approach to improve the results of the NBR algorithm, by combining attributes by means of an auxiliary regression algorithm.
Software technologies, such as model-based testing approaches, have specific characteristics and limitations that can affect their use in software projects. To make available knowledge regarding such technologies is i...
详细信息
ISBN:
(纸本)9781605580302
Software technologies, such as model-based testing approaches, have specific characteristics and limitations that can affect their use in software projects. To make available knowledge regarding such technologies is important to support the decision regarding their use in software projects. In particular, a choice of model-based testing approach can influence testing success or failure. Therefore, this paper aims at describing knowledge acquired from a systematic review regarding model-based testing approaches and proposing an infrastructure towards supporting their selection for software projects. Copyright 2008 ACM.
Experimental studies have been used as a mechanism to acquire knowledge through a scientific approach based on measurement of phenomena in different areas. However it is hard to run such studies when they require mode...
详细信息
Experimental studies have been used as a mechanism to acquire knowledge through a scientific approach based on measurement of phenomena in different areas. However it is hard to run such studies when they require models (simulation), produce amount of information, and explore science in scale. In this case, a computerized infrastructure is necessary and constitutes a complex system to be built. In this paper we discuss an experimentation environment that has being built to support large scale experimentation and scientific knowledge management in software engineering.
The WaveScalar is the first dataflow architecture that can efficiently provide the sequential memory semantics required by imperative languages. This work presents a speculative memory disambiguation mechanism for thi...
详细信息
The WaveScalar is the first dataflow architecture that can efficiently provide the sequential memory semantics required by imperative languages. This work presents a speculative memory disambiguation mechanism for this architecture, the transaction WaveCache. Our mechanism maintains the execution order of memory operations within blocks of code, called waves, but adds the ability to speculatively execute, out-of-order, operations from different waves. This mechanism is inspired by progress in supporting transactional memories. Waves are considered as atomic regions and executed as nested transactions. Wave that have finished the execution of all their memory operations are committed, as soon as the previous waves are also committed. If a hazard is detected in a speculative wave, all the following waves (children) are aborted and re-executed. We evaluated the transactional WaveCache on a set of benchmarks from Spec 2000, Mediabench and Mibench (telecomm). Speedups ranging from 1.31 to 2.24 (related to the original WaveScalar) where observed when the benchmark doesn't perform lots of emulated function calls or access memory very often. Low speedups of 1.1 to slowdowns of 0.96 were observed when the opposite happens or when the memory concurrency was high.
This paper presents the implementation of ARQ-PROP II, a limited-depth propositional reasoner, via the compilation of its specification into an exact formulation using the satyrus platform. satyrus' compiler takes...
详细信息
暂无评论