3101 search results - page 300 / 621 » Using Relational Databases in the Engineering Repository Sys... |
187
click to vote
VMCAI
2005
Springer
16 years 5 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
176
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodat...
197
click to vote
IUI
2006
ACM
16 years 20 days ago
2006
ACM
Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...
174
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
274
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Hardware cache behavior is an important factor in the performance of memory-resident, data-intensive systems such as XML filtering engines. A key data structure in several recent ...