3742 search results - page 555 / 749 » On the Use of Formal Techniques for Validation |
187
click to vote
PDP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...
210
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
— Growing popularity of wireless ad hoc networks leads to higher demands on performance of all TCP/IP stack layers. Usually ad hoc networks operate according to IEEE 802.11 stand...
180
click to vote
ICCBR
2001
Springer
15 years 11 months ago
2001
Springer
From some perspectives Automated Collaborative Filtering (ACF) appears quite similar to Case-Based Reasoning (CBR). It works on data organised around users and assets that might be...
135
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
170
click to vote
SAFECOMP
1999
Springer
15 years 10 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...