708 search results - page 19 / 142 » A Heuristic Approach to Detect Feature Interactions in Requi... |
163
click to vote
BELL
2000
15 years 5 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
166
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Eukaryotic cells have developed mechanisms to respond to external environmental or physiological changes (stresses). In order to increase the activities of stress-prot...
198
click to vote
AOSD
2009
ACM
15 years 3 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
172
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Interested in Evolutionary Robotics, this paper focuses on the acquisition and exploitation of memory skills. The targeted task is a well-studied benchmark problem, the Tolman ...
159
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...