1926 search results - page 207 / 386 » Modeling and Model Checking Software Product Lines |
137
Voted
JSS
2002
15 years 4 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
128
click to vote
WETICE
2006
IEEE
15 years 10 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
116
Voted
SAMOS
2005
Springer
15 years 10 months ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...
153
Voted
ENVSOFT
2006
15 years 4 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...
136
Voted
CBSQ
2003
Springer
15 years 9 months ago
2003
Springer
There is growing interest in the notion of software development through the planned integration of COTS (Commercial Off-The-Shelf) products. The potential advantages of this integ...