Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
158
Towards Fixing Inconsistencies in Models With Variability
"... Recent years have witnessed a convergence between research in SPL and Model-Driven Engineering (MDE) that leverages the complementary capabilities that both paradigms can offer. A crucial factor for the success of MDE is the availability of effective support for detecting and fixing inconsistencies ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
Recent years have witnessed a convergence between research in SPL and Model-Driven Engineering (MDE) that leverages the complementary capabilities that both paradigms can offer. A crucial factor for the success of MDE is the availability of effective support for detecting and fixing inconsistencies
Searching the variability space to fix model inconsistencies: A preliminary assessment
- In 3rd International Symposium on Search based Software Engineering
, 2011
"... Abstract. Recent years have witnessed a convergence between research in Soft-ware Product Lines (SPL) and Model-Driven Engineering (MDE) that leverages the complementary capabilities that both paradigms can offer. A crucial factor for the success of MDE is the availability of effective support for d ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
for detecting and fixing inconsistencies among model elements. The importance of such support is attested by the extensive literature devoted to the topic. However, when MDE is coupled with SPL, the research focus has been devoted to inconsistency detec-tion, while leaving fixing largely unexplored. To address
Automatic program repair with evolutionary computation,”
- Commun. ACM,
, 2010
"... Abstract There are many methods for detecting and mitigating software errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work combining program analysis methods with evolutionary computation to automatically repair bugs in off-th ..."
Abstract
-
Cited by 34 (5 self)
- Add to MetaCart
, or when it exceeds a preset number of generations. The first variant to pass all test cases is the primary repair. Genetic operators As mentioned above, we apply GP operators to a given variant to produce new program variants, thus exploring the search space of possible repairs. A key operator is mutation
Agile science operations: A new approach for primitive bodies exploration
"... Trojan Tour and Rendezvous would challenge traditional operations practices. Earth-based observations would provide only basic understanding before arrival and many science goals would be defined during the initial rendezvous. It could be necessary to revise trajectories and observation plans to qui ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
to quickly characterize the target for safe, effective observations. Detection of outgassing activity and monitoring of comet surface activity would be even more time constrained, with events occurring faster than round-trip light time. "Agile science operations " would address these challenges
1Reduced-Dimension Multiuser Detection
"... We present a reduced-dimension multiuser detector (RD-MUD) structure that significantly decreases the number of required correlation branches at the receiver front-end, while still achieving performance similar to that of the conventional matched-filter (MF) bank. RD-MUD exploits the fact that the n ..."
Abstract
- Add to MetaCart
waveforms, which in turn are chosen from a large class of spreading codes. We derive the probability-of-error when using two methods for recovery of active users and their transmitted symbols: the reduced-dimension decorrelating (RDD) detector, which combines subspace projection and thresholding
Models in science’,
- The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab,
, 2008
"... Models are of central importance in many scientific contexts. The centrality of models such as the billiard ball model of a gas, the Bohr model of the atom, the MIT bag model of the nucleon, the Gaussian-chain model of a polymer, the Lorenz model of the atmosphere, the Lotka-Volterra model of preda ..."
Abstract
-
Cited by 21 (1 self)
- Add to MetaCart
;material analogies'. We obtain a more formal notion of analogy when we abstract from the concrete features the systems possess and only focus on their formal set-up. What the analogue model then shares with its target is not a set of features, but the same pattern of abstract relationships (i.e. the same
Timed inhibition affects coincidence detection in an MSO neuron model RAMANA R.V. DODLA
"... Recent experiments (in gerbil, by Brand et al, 2002) call into question the classical Jeffress [1], place-code, model for low frequency sound lo-calization that assumes paired (ipsi and con-tra) excitatory inputs. However, the interaural time delay (ITD) response curve is strongly in-uenced by inhib ..."
Abstract
- Add to MetaCart
with the experimental results, when the brief inhibition is delivered just in ad-vance of ( ms) the contra-excitation. Using this same HH-type model we explore the effect of the timing and strength of brief inhibitory inputs on ITD responses. Some ef-fects can be demonstrated by considering com
COSMOLOGICAL MODELS OF MODIFIED GRAVITY
, 2013
"... The recent discovery of dark energy has prompted an investigation of ways in which the accelerated expansion of the universe can be realized. In this dissertation, we present two separate projects related to dark energy. The first project analyzes a class of braneworld models in which multiple brane ..."
Abstract
- Add to MetaCart
branes float in a five-dimensional anti-de Sitter bulk, while the second investigates a class of dark energy models from an effective field theory perspective. Investigations of models including extra dimensions have led to modifications of gravity involving a number of interesting features
The role of a local reference in stereoscopic detection of depth relief
, 2004
"... Stereoacuity thresholds have been shown to depend on the disparity of a point with respect to a slanted reference plane through neighbouring points [Curr. Biol. 12 (2002) 825]. Here we explored a wider range of conditions, including slanting the reference points about a horizontal axis and varying t ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
Stereoacuity thresholds have been shown to depend on the disparity of a point with respect to a slanted reference plane through neighbouring points [Curr. Biol. 12 (2002) 825]. Here we explored a wider range of conditions, including slanting the reference points about a horizontal axis and varying
Automated variability analysis and testing of an e-commerce site: An experience report
- In International Conference on Automated Software Engineering
, 2014
"... In this paper, we report on our experience on the devel-opment of La Hilandera, an e-commerce site selling haber-dashery products and craft supplies in Europe. The store has a huge input space where customers can place almost three millions of different orders which made testing an ex-tremely diffic ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
the stakeholders. Second, we used techniques for the automated analysis of feature models for the detection and repair of inconsistent and missing configuration settings. Fi-nally, we used test selection and prioritization techniques for the generation of a manageable and effective set of test cases. Our findings
Results 1 - 10
of
158
