1994 search results - page 120 / 399 » Limited Software Warranties |
140
click to vote
AVI
1998
15 years 6 months ago
1998
Although existing lab-based formative evaluation is frequently and effectively applied to improving usability of software user interfaces, it has limitations that have led to the ...
153
click to vote
RE
2008
Springer
15 years 5 months ago
2008
Springer
Scalability is widely recognized as an important software quality, but it is a quality that historically has lacked a consistent and systematic treatment. To address this problem,...
152
Voted
CASES
2010
ACM
15 years 3 months ago
2010
ACM
Common generated instruction selections are based on tree pattern matching, but modern and custom architectures feature instructions, which cannot be covered by trees. To overcome...
206
click to vote
NFM
2011
15 years 14 days ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
154
click to vote
ICST
2011
IEEE
14 years 9 months ago
2011
IEEE
—Test-suite augmentation for evolving software— the process of augmenting a test suite to adequately test software changes—is necessary for any program that undergoes modifi...