1107 search results - page 70 / 222 » Variability Management on Behavioral Models |
120
click to vote
SIGIR
2010
ACM
15 years 5 months ago
2010
ACM
An improved understanding of the relationship between search intent, result quality, and searcher behavior is crucial for improving the effectiveness of web search. While recent p...
IJCAI
2007
15 years 2 months ago
2007
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
120
click to vote
SASO
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper introduces MOCAS (Model Of Components for Adaptive Systems), a generic state-based component model which enables the self-adaptation of software components together wit...
SPIN
2005
Springer
15 years 6 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
127
click to vote
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
The Shifting Balance Genetic Algorithm (SBGA) is an extension of the Genetic Algorithm (GA) that was created to promote guided diversity to improve performance in highly multimodal...