3799 search results - page 687 / 760 » An Engineering Approach to Formal Methods |
126
click to vote
CCE
2008
2008
A hierarchical decision procedure for productivity innovation in large-scale petrochemical processes
15 years 4 months ago
Maintaining the best quality is essential for the survival of a company in a globally competitive world. Six Sigma activity has been widely accepted as one of the most efficient a...
143
click to vote
RECOMB
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. In engineering protein variants by constructing and screening combinatorial libraries of chimeric proteins, two complementary and competing goals are desired: the new pro...
202
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Today's query processing engines do not take advantage of the multiple occurrences of a relation in a query to improve performance. Instead, each instance is treated as a dis...
136
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Predicting software quality as perceived by a customer may allow an organization to adjust deployment to meet the quality expectations of its customers, to allocate the appropriat...
125
click to vote
ISESE
2006
IEEE
15 years 10 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...