732 search results - page 77 / 147 » Automated Test Generation from Models Based on Functional So... |
142
Voted
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
125
Voted
ASWEC
2009
IEEE
15 years 7 months ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
123
Voted
SAT
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
122
Voted
MICCAI
2008
Springer
16 years 3 months ago
2008
Springer
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...
115
Voted
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...