3792 search results - page 406 / 759 » Techniques for Trusted Software Engineering |
221
click to vote
WER
2010
Springer
15 years 4 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
190
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
209
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
While significant progress has been made over the last ten years in the research field of quality assessment, developers still can't take full advantage of the benefits of the...
252
click to vote
TCBB
2011
15 years 1 months ago
2011
—Constructing accurate computational models that explain how ions permeate through a biological ion channel is an important problem in biophysics and drug design. Brownian dynami...
192
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...