3227 search results - page 434 / 646 » Software engineering and performance: a road-map |
136
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
170
click to vote
VAMOS
2007
Springer
16 years 21 days ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
190
click to vote
PLDI
2006
ACM
16 years 17 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
182
click to vote
SC
2005
ACM
16 years 4 days ago
2005
ACM
The development of complex scientific applications for high-end systems is a challenging task. Addressing complexity of the involved software and algorithms is becoming increasing...
144
click to vote
PROFES
2005
Springer
16 years 2 days ago
2005
Springer
Software inspection helps to improve the quality of software products early in the development process. For design inspection recent research showed that usage-based reading of doc...