6941 search results - page 411 / 1389 » Testing as a Certification Approach |
152
Voted
CAISE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
168
click to vote
CSREAESA
2006
15 years 8 months ago
2006
- A systematic approach to building layered software architecture is proposed. Separate layering models required oper abstracting of hardware, persistent data, and communication pr...
172
click to vote
HIS
2004
15 years 8 months ago
2004
Classification of large datasets is a challenging task in Data Mining. In the current work, we propose a novel method that compresses the data and classifies the test data directl...
165
Voted
NAACL
1994
15 years 8 months ago
1994
This paper considers key elements of evaluation methodology, indicating the many points involved and advocating an unpacking approach in specifying an evaluation remit and design....
197
click to vote
WCE
2007
15 years 8 months ago
2007
—The genetic programming approach is applied to the problem of aircraft autolanding, subject to wind disturbances. The derived control law is tested successfully, using a lineari...