5180 search results - page 734 / 1036 » Requirements Engineering |
161
click to vote
TOPLAS
2002
15 years 6 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
143
click to vote
IVA
2010
Springer
15 years 5 months ago
2010
Springer
We describe a new organization for virtual human responses to dynamically occurring events. In our approach behavioral responses are enumerated in the representation of the event i...
177
click to vote
EWCBR
2004
Springer
16 years 3 days ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...
264
click to vote
IAW
2003
IEEE
16 years 2 hour ago
2003
IEEE
— Vulnerabilities in software stem from poorly written code. Inadvertent errors may creep in due to programmers not being aware of the security implications of their code. Writin...
186
Voted
MLDM
2009
Springer
15 years 11 months ago
2009
Springer
The induction of knowledge from a data set relies in the execution of multiple data mining actions: to apply filters to clean and select the data, to train different algorithms (...