3792 search results - page 344 / 759 » Techniques for Trusted Software Engineering |
174
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Software often needs to be modified for accommodating requirements changes through the software life cycle. To deal with several accidental requirements changes related to softwa...
175
click to vote
WOSP
2010
ACM
15 years 11 months ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
213
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
174
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Web-based search engines such as Google and NorthernLight return documents that are relevant to a user query, not answers to user questions. We have developed an architecture that...
166
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Techniques for test-case prioritization re-order test cases to increase their rate of fault detection. When there is a fixed time budget that does not allow the execution of all ...