2364 search results - page 334 / 473 » An Engine for Computing Well-Founded Models |
115
click to vote
IAAI
1993
15 years 5 months ago
1993
This paper describes a large rule-based application called Engineering Standards Distribution System (ESDS). ESDS was built and deployed by Boeing and helps design engineers speci...
125
click to vote
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Architectural level analysis of a software system for its quality attributes is a proven cost-effective approach. This is particularly significant for performance, which defines m...
128
click to vote
ESWA
2007
15 years 4 months ago
2007
This paper proposes and explains a data treatment technique to improve the accuracy of a neural network estimator in regression problems, where multi-dimensional input data set is...
105
click to vote
IJHCI
2010
15 years 3 months ago
2010
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
167
Voted
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...