1121 search results - page 115 / 225 » Building Formal Requirements Models for Reliable Software |
124
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
130
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
The motivation of this paper is to research the individual and the team levels of knowledge management, in order to unveil prominent knowledge needs, interactions and processes, an...
152
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
110
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
124
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
With the rise of distributed e-commerce in recent years, demand for automated negotiation has increased. In turn, this has facilitated a demand for ever more complex algorithms to...