Software Product Lines (SPLs) have been used to develop mobile and context-aware applications, which provide services and data for their users from anywhere and at any time using context information. In SPLs, commonal...
详细信息
Software Product Lines (SPLs) have been used to develop mobile and context-aware applications, which provide services and data for their users from anywhere and at any time using context information. In SPLs, commonality and variability of a system family are identified and often documented in a feature model. However, the development of a feature model for mobile and context-aware SPLs is not trivial, since it should comprise system and context information. Furthermore, the consistency check of feature models in the considered domain is also complex and demands advanced skills of software engineers. This paper proposes a mechanism to formalize and verify the correctness and consistency of feature models for mobile and context-aware SPLs based on a profile enriched with OCL specifications.
Achieving high performance optimization algorithms for embedded applications can be very challenging, particularly when several requirements such as high accuracy computations, short elapsed time, area cost, low power...
详细信息
Objective: to investigate studies about software processes looking for practices which can be used to obtain agility in software processes. Method: A systematic review including seven search engines was executed in Fe...
详细信息
Objective: to investigate studies about software processes looking for practices which can be used to obtain agility in software processes. Method: A systematic review including seven search engines was executed in Feb/2010. To apply the defined criteria to select papers and extract information regarding working practices bringing agility to software processes. Results: from 6696 retrieved papers, 441 were selected to support the identification of 236 occurrences of 51 distinct practices associated with the concept of agility. Their descriptions were deeply analyzed and consolidated. After discarding those which appeared in the technical literature in a small amount of papers, 17 agile practices were identified. Conclusion: although further studies are necessary to evaluate the efficacy of these 17 agile practices, 12 of them have been more commonly approached in the software projects and could be primarily considered: test driven development, continuous integration, pair programming, planning game, onsite customer, collective code ownership, small releases, metaphor, refactoring, sustainable pace, simple design and coding standards.
The crew pairing problem is an airline optimization problem where a set of least costly pairings (consecutive flights to be flown by a single crew) that covers every flight in a given flight network is sought. A pairi...
The crew pairing problem is an airline optimization problem where a set of least costly pairings (consecutive flights to be flown by a single crew) that covers every flight in a given flight network is sought. A pairing is defined by using a very complex set of feasibility rules imposed by international and national regulatory agencies, and also by the airline itself. The cost of a pairing is also defined by using complicated rules. When an optimization engine generates a sequence of flights from a given flight network, it has to check all these feasibility rules to ensure whether the sequence forms a valid pairing. Likewise, the engine needs to calculate the cost of the pairing by using certain rules. However, the rules used for checking the feasibility and calculating the costs are usually not static. Furthermore, the airline companies carry out what‐if‐type analyses through testing several alternate scenarios in each planning period. Therefore, embedding the implementation of feasibility checking and cost calculation rules into the source code of the optimization engine is not a practical approach. In this work, a high level language called ARUS is introduced for describing the feasibility and cost calculation rules. A compiler for ARUS is also implemented in this work to generate a dynamic link library to be used by crew pairing optimization engines.
Dynamism of day-to-day activities in organizations is inextricably linked and there is a variety of information, insight and reasoning being processed between people and systems, in carrying out a business process. We...
详细信息
Dynamism of day-to-day activities in organizations is inextricably linked and there is a variety of information, insight and reasoning being processed between people and systems, in carrying out a business process. We argue that flexibility in processes could be managed in real time, using context information collected in the work environment. This paper proposes a context management architecture approach that aims to improve and automate dynamic process adaptation. We explain how process adaptation may occur in real time and discuss a scenario for this proposal.
Synthesis of musical instruments or human voice is a time consuming process which requires theoretical and experimental knowledge about the synthesis engine. Commonly, performers need to deal with synthesizer interfac...
详细信息
Many animals are known to maintain an internal estimate of their orientation in the environment. In the absence of external sensory cues, this estimate inevitably exhibits drift. When sensory information is available,...
详细信息
Many animals are known to maintain an internal estimate of their orientation in the environment. In the absence of external sensory cues, this estimate inevitably exhibits drift. When sensory information is available, associations between sensory landmarks and the internal estimate can be used to correct for drift. In this paper we present a neuromorphic system to model such associations between sensory landmarks in the environment (as provided by sonar) and the activity of a hardware-based head direction cell system (HDS) that continuously integrates angular velocity signals to maintain an estimate of the orientation. These associations are shown to correct for drift errors that are encountered in the HDS.
Numerous genome-wide association studies (GWAS) have been performed in order to determine the susceptible loci of diseases. However, most diseases still cannot be explained by a single locus. Pathway-based methods add...
详细信息
This paper presents a deterministic and adaptive spike model derived from radial basis functionsand a leaky integrate-and-fire sampler developed for training spiking neural networks without directweight manipulation. ...
This paper presents a deterministic and adaptive spike model derived from radial basis functions
and a leaky integrate-and-fire sampler developed for training spiking neural networks without direct
weight manipulation. Several algorithms have been proposed for training spiking neural networks
through biologically-plausible learning mechanisms, such as spike-timing-dependent synaptic plasticity
and Hebbian plasticity. These algorithms typically rely on the ability to update the synaptic strengths,
or weights, directly, through a weight update rule in which the weight increment can be decided
and implemented based on the training equations. However, in several potential applications of
adaptive spiking neural networks, including neuroprosthetic devices and CMOS/memristor nanoscale
neuromorphic chips, the weights cannot be manipulated directly and, instead, tend to change over time
by virtue of the pre- and postsynaptic neural activity. This paper presents an indirect learning method
that induces changes in the synaptic weights by modulating spike-timing-dependent plasticity by means
of controlled input spike trains. In place of the weights, the algorithm manipulates the input spike trains
used to stimulate the input neurons by determining a sequence of spike timings that minimize a desired
objective function and, indirectly, induce the desired synaptic plasticity in the network.
Protein-RNA interactions play important roles in cellular processes like protein synthesis, RNA processing, and gene expression regulation. Reliable identification of the interfaces involved in RNA-protein interaction...
详细信息
暂无评论